Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase lambda-calcul (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1978-2022 (15)
Publication types (Num. hits)
article(3) inproceedings(2) phdthesis(10)
Venues (Conferences, Journals, ...)
RAIRO Theor. Informatics Appl.(3) ICALP(1) LICS(1)
Authors
Patrick Sallé(2) Alexandros Singh(1) Barbara Petit(1) Christophe Raffalli(1) Claude Stolze(1) Colin Riba(1) Georges Mounier(1) Jean-Louis Krivine(1) Lourdes Del Carmen González-Huesca(1) Luigi Liquori(1) Patrick Sale(1) Pierre Vial(1) Sébastien Hinderer(1) Tomasz Blanc(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
103Luigi Liquori Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects. (Sistemi di Assegnamento di tipi per il lambda calcolo e per il lambda calcolo degli oggetti / Systèmes d'inférence de type pour le lambda-calcul et pour le lambda-calcul à objets). Search on Bibsonomy 1996   RDF
51Christophe Raffalli System ST \beta-reduction and completeness. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF lambda-calcul, type, subtype
40Claude Stolze Combining union, intersection and dependent types in an explicitly typed lambda-calculus. (Types union, intersection, et dépendants dans le lambda-calcul explicitement typé). Search on Bibsonomy 2019   RDF
40Pierre Vial Non-idempotent typing operators, beyond the lambda-calculus. (Opérateurs de typage non-idempotents, au delà du lambda-calcul). Search on Bibsonomy 2017   RDF
40Lourdes Del Carmen González-Huesca Incrementality and effect simulation in the simply typed lambda calculus. (Incrémentalité et simulation d'effets dans le lambda calcul simplement typé). Search on Bibsonomy 2015   RDF
40Barbara Petit On the lambda calculus with constructors. (Autour du lambda-calcul avec constructeurs). Search on Bibsonomy 2011   RDF
40Sébastien Hinderer Automatisation de la Construction Sémantique dans le Lambda Calcul Simplement Typé avec plusieurs Types de base. (Automating Semantic Construction in Simply Typed Lambda Calculus with Several Atomic Types). Search on Bibsonomy 2008   RDF
40Colin Riba Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage. (Definitions by rewriting in the lambda-calculus : confluence, reducibility and typing). Search on Bibsonomy 2007   RDF
40Tomasz Blanc Propriétés de sécurité dans le lambda-calcul. (Security Properties in the lambda-calculus). Search on Bibsonomy 2006   RDF
40Georges Mounier Un lambda calcul intuitioniste avec exceptions. (an intuitionistic lambda calculus with exceptions). Search on Bibsonomy 1999   RDF
28Alexandros Singh Une approche unifiée de la combinatoire du lambda-calcul et des cartes : bijections et propriétés limites. (A unified approach to the combinatorics of the λ-calculus and maps : bijections and limit properties). Search on Bibsonomy 2022   RDF
28Jean-Louis Krivine Lambda-calcul, évaluation paresseuse et mise en mémoire. Search on Bibsonomy RAIRO Theor. Informatics Appl. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
28Patrick Sallé Une Généralisation de la Théorie des Types en lambda-Calcul (II). Search on Bibsonomy RAIRO Theor. Informatics Appl. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
28Patrick Sallé Une Généralisation de la Théorie des Types en \lambda-Calcul (Première partie). Search on Bibsonomy RAIRO Theor. Informatics Appl. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
28Patrick Sale Une Extension de la Theorie des Types en lambda-Calcul. Search on Bibsonomy ICALP The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
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