Typed lambda calculi and applications. International conference, TLCA '93, March 16--18, 1993, Utrecht, the Netherlands. Proceedings
type: Item
instance of: scholarly article
title: Typed lambda calculi and applications. International conference, TLCA '93, March 16--18, 1993, Utrecht, the Netherlands. Proceedings
zbMATH Open document ID: 0866.00038
published in: Lecture Notes in Computer Science
publication date: 1993-09-21T00:00:00Z
review text: The articles of this volume will be reviewed individually. Indexed articles: \textit{Akama, Yohji}, On Mints' reduction for ccc-calculus, 1-12 [Zbl 0786.03006] \textit{Altenkirch, Thorsten}, A formalization of the strong normalization proof for system F in LEGO, 13-28 [Zbl 0797.68095] \textit{van Bakel, Steffen}, Partial intersection type assignment in applicative term rewriting systems, 29-44 [Zbl 0797.68091] \textit{Barbanera, Franco; Berardi, Stefano}, Extracting constructive content from classical logic via control-like reductions, 45-59 [Zbl 0788.68016] \textit{Barbanera, Franco; Fernández, Maribel}, Combining first and higher order rewrite systems with type assignment systems, 60-74 [Zbl 0788.68079] \textit{Benton, Nick; Bierman, Gavin; de Paiva, Valeria; Hyland, Martin}, A term calculus for intuitionistic linear logic, 75-90 [Zbl 0795.68127] \textit{Berger, Ulrich}, Program extraction from normalization proofs, 91-106 [Zbl 0788.68015] \textit{Castagna, Giuseppe; Ghelli, Giorgio; Longo, Giuseppe}, A semantics for \(\lambda\)\&-\textit{early}: A calculus with overloading and early binding, 107-123 [Zbl 0797.68027] \textit{Di Gianantonio, Pietro; Honsell, Furio}, An abstract notion of application, 124-138 [Zbl 0788.68090] \textit{Dowek, Gilles}, The undecidability of typability in the lambda-pi-calculus, 139-145 [Zbl 0788.68017] \textit{Ghelli, Giorgio}, Recursive types are not conservative over \(F_ \leq\), 146-162 [Zbl 0786.03012] \textit{de Groote, Philippe}, The conservation theorem revisited, 163-178 [Zbl 0795.03020] \textit{Hyland, J. M. E.; Ong, C.-H. L.}, Modified realizability toposes and strong normalization proofs, 179-194 [Zbl 0793.03079] \textit{Jacobs, Bart}, Semantics of lambda-I and of other substructure lambda calculi, 195-208 [Zbl 0795.68126] \textit{Jacobs, Bart; Melham, Tom}, Translating dependent type theory into higher order logic, 209-229 [Zbl 0788.68130] \textit{Jung, Achim; Stoughton, Allen}, Studying the fully abstract model of PCF with…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 419014
zbMATH Keywords: Utrecht (NL)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: TLCA '93
zbMATH Keywords: Lambda calculi
describes a project that uses: Coq
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bfb0037093
OpenAlex ID: W3143737500
DOI: 10.1007/BFB0037093
Recommended article: Typed lambda calculi and applications. 11th international conference, TLCA 2013, Eindhoven, The Netherlands, June 26--28, 2013. Proceedings
Recommended article: Typed lambda calculi and applications. Third international conference on typed lambda calculi and applications, TLCA '97, Nancy, France, April 2--4, 1997. Proceedings.
Recommended article: Typed lambda calculi and applications. 4th international conference, TLCA '99. L'Aquila, Italy, April 7--9, 1999. Proceedings
Recommended article: Typed lambda calculi and applications. 2nd international conference, TLCA '95, Edinburgh, GB, April 10--12, 1995. Proceedings
Recommended article: Typed lambda calculi and applications. 6th international conference, TLCA 2003, Valencia, Spain, June 10--12, 2003. Proceedings
Recommended article: Typed lambda calculi and applications. 5th international conference, TLCA 2001, Kraków, Poland, May 2--5, 2001. Proceedings
Recommended article: Typed lambda calculi and applications. 7th international conference, TLCA 2005, Nara, Japan, April 21--23, 2005. Proceedings.
Recommended article: Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings
Recommended article: Q3837983
Recommended article: Q5695367
description: scientific article; zbMATH DE number 419014