Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "TLCA"( http://dblp.L3S.de/Venues/TLCA )

URL (DBLP): http://dblp.uni-trier.de/db/conf/tlca

Publication years (Num. hits)
1993 (30) 1995 (30) 1997 (25) 1999 (28) 2001 (33) 2003 (22) 2005 (31) 2007 (28) 2009 (30) 2011 (20) 2013 (19) 2015 (25)
Publication types (Num. hits)
inproceedings(309) proceedings(12)
Venues (Conferences, Journals, ...)
TLCA(321)
Authors
Stefano Berardi(8) Thierry Coquand(8) Thorsten Altenkirch(7) Andreas Abel 0001(6) Martin Hofmann 0001(6) Neil Ghani(6) Pawel Urzyczyn(6) Simona Ronchi Della Rocca(6) C.-H. Luke Ong(5) Hugo Herbelin(5) Frank Pfenning(4) Gilles Dowek(4) José Espírito Santo(4) Ken-etsu Fujita(4) Marcelo P. Fiore(4) Masahito Hasegawa(4) More (+10 of total 342)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 25 occurrences of 23 keywords
Results
Found 321 publication records. Showing 321 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Kurt Sieber Call-by-Value and Nondeterminism. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0001 Semantics of lambda-I and of other substructure lambda calculi. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1James McKinna, Robert Pollack Pure Type Systems Formalized. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Marc Bezem, Jan Friso Groote (eds.) Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Philippe de Groote The Conservation Theorem revisited. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Pawel Urzyczyn Type reconstruction in F-omega is undecidable. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Daniel Leivant, Jean-Yves Marion Lambda calculus characterizations of poly-time. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Franco Barbanera, Maribel Fernández Combining First and Higher Order Rewrite Systems with Type Assignment Systems. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Christine Paulin-Mohring Inductive Definitions in the system Coq - Rules and Properties. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Achim Jung, Jerzy Tiuryn A New Characterization of Lambda Definability. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0001, Thomas F. Melham Translating Dependent Type Theory into Higher Order Logic. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Achim Jung, Allen Stoughton Studying the Fully Abstract Model of PCF within its Continuous Function Model. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Ulrich Berger 0001 Program Extraction from Normalization Proofs. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Yohji Akama On Mints' Reduction for ccc-Calculus. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Daniel F. Otth Monotonic versus Antimonotonic Exponentation. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland A Term Calculus for Intuitionistic Linear Logic. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Thorsten Altenkirch A Formalization of the Strong Normalization Proof for System F in LEGO. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin, Martín Abadi A Logic for Parametric Polymorphism. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Steffen van Bakel Partial Intersection Type Assignment in Applicative Term Rewriting Systems. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Masako Takahashi Lambda-Calculi with Conditional Rules. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #301 - #321 of 321 (100 per page; Change: )
Pages: [<<][1][2][3][4]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license