Event Beta

International Conference on Typed Lambda Calculi and Applications

Name: International Conference on Typed Lambda Calculi and Applications
Start: 1993-03-16
End: 1993-03-18
Location: Kingdom of the Netherlands

TLCA

Date: 1993-03-16/18
Place: Kingdom of the Netherlands
Series: International Conference on Typed Lambda Calculi and Applications
Edition: 1
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e108cqk

Proceedings

Title	DOI	Year	Record
Typed Lambda Calculi and Applications LNCS 664	10.1007/bfb0037093	1993	Springer
Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings Lecture Notes in Computer Science 664	10.1007/bfb0037093	1993	dblp

Sources

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)	`http://lod.springer.com/data/conference/tlca1993`
confref portal (2020)	`https://id.confref.org/data/confref-portal/event/tlca1993` · page
dblp	`https://dblp.org/db/conf/tlca/tlca93`

Cite

International Conference on Typed Lambda Calculi and Applications. confref identifier e108cqk. https://id.confref.org/event/e108cqk

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

APIs · SPARQL · About the identifiers

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