![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
1st TLCA 1993: Utrecht, The Netherlands
- Marc Bezem, Jan Friso Groote:
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, Springer 1993, ISBN 3-540-56517-5 - Yohji Akama
:
On Mints' Reduction for ccc-Calculus. 1-12 - Thorsten Altenkirch:
A Formalization of the Strong Normalization Proof for System F in LEGO. 13-28 - Steffen van Bakel:
Partial Intersection Type Assignment in Applicative Term Rewriting Systems. 29-44 - Franco Barbanera, Stefano Berardi:
Extracting Constructive Content from Classical Logic via Control-like Reductions. 45-59 - Franco Barbanera, Maribel Fernández:
Combining First and Higher Order Rewrite Systems with Type Assignment Systems. 60-74 - P. N. Benton, Gavin M. Bierman, Valeria de Paiva
, Martin Hyland:
A Term Calculus for Intuitionistic Linear Logic. 75-90 - Ulrich Berger
:
Program Extraction from Normalization Proofs. 91-106 - Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo:
A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. 107-123 - Pietro Di Gianantonio
, Furio Honsell:
An Abstract Notion of Application. 124-138 - Gilles Dowek:
The Undecidability of Typability in the Lambda-Pi-Calculus. 139-145 - Giorgio Ghelli:
Recursive Types Are not Conservative over F. 146-162 - Philippe de Groote:
The Conservation Theorem revisited. 163-178 - J. M. E. Hyland, C.-H. Luke Ong
:
Modified Realizability Toposes and Strong Normalization Proofs. 179-194 - Bart Jacobs:
Semantics of lambda-I and of other substructure lambda calculi. 195-208 - Bart Jacobs, Thomas F. Melham:
Translating Dependent Type Theory into Higher Order Logic. 209-229 - Achim Jung, Allen Stoughton:
Studying the Fully Abstract Model of PCF within its Continuous Function Model. 230-244 - Achim Jung, Jerzy Tiuryn:
A New Characterization of Lambda Definability. 245-257 - Hans Leiß:
Combining Recursive and Dynamic Types. 258-273 - Daniel Leivant, Jean-Yves Marion:
Lambda calculus characterizations of poly-time. 274-288 - James McKinna, Robert Pollack:
Pure Type Systems Formalized. 289-305 - Tobias Nipkow:
Orthogonal Higher-Order Rewrite Systems are Confluent. 306-317 - Daniel F. Otth:
Monotonic versus Antimonotonic Exponentation. 318-327 - Christine Paulin-Mohring:
Inductive Definitions in the system Coq - Rules and Properties. 328-345 - Benjamin C. Pierce:
Intersection Types and Bounded Polymorphism. 346-360 - Gordon D. Plotkin, Martín Abadi:
A Logic for Parametric Polymorphism. 361-375 - Kurt Sieber:
Call-by-Value and Nondeterminism. 376-390 - Jan Springintveld:
Lower and Upper Bounds for Reductions of Types in Lambda-omega and Lambda-P. 391-405 - Masako Takahashi:
Lambda-Calculi with Conditional Rules. 406-417 - Pawel Urzyczyn:
Type reconstruction in F-omega is undecidable. 418-432
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.