Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

International Conference on Typed Lambda Calculus and Applications (TLCA)

https://id.confref.org/data/confref-portal/event/tlca2013

This record is part of the confref event International Conference on Typed Lambda Calculi and Applications.

rdf:typeportal:Conference
schema:locationKingdom of the Netherlands (wd:Q29999)
rdfs:labelInternational Conference on Typed Lambda Calculus and Applications (TLCA)
portal:acronymTLCA
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityEindhoven
portal:countryThe Netherlands
portal:endDate2013-06-28
portal:keywordConstructive mathematics
portal:keywordFan functional
portal:keywordGödel’s system T
portal:keywordHA ?
portal:keywordHedberg’s Theorem
portal:keywordHomotopy type theory
portal:keywordLinear Logic
portal:keywordNondeterminism
portal:keywordanonymous existence
portal:keywordbracket types
portal:keywordconstant endofunctions
portal:keywordfull abstraction
portal:keywordgeneralized algebraic data types
portal:keywordhigher- kinded types
portal:keywordhigher-order polymorphism
portal:keywordimpredicative encoding
portal:keywordintuitionistic type theory
portal:keywordlogical consistency
portal:keywordpropositional equality
portal:keywordresource ?-calculus
portal:nameInternational Conference on Typed Lambda Calculus and Applications (TLCA)
portal:portalPagehttp://portal.confref.org/list/tlca2013
portal:serieshttps://id.confref.org/data/confref-portal/series/tlca
portal:startDate2013-06-26
portal:submissionExtendedfalse
portal:year2013
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAshttps://dblp.org/db/conf/tlca/tlca2013

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.