Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Felix Joachimski, Ralph Matthes |
Short proofs of normalization for the simply- typed lambda-calculus, permutative conversions and Go"del's T. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 42(1), pp. 59-87, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Silvio Valentini, Matteo Viale |
A binary modal logic for the intersection types of lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 185(2), pp. 211-232, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Sergei Soloviev 0001, David Chemouil |
Some Algebraic Structures in Lambda-Calculus with Inductive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers, pp. 338-354, 2003, Springer, 3-540-22164-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Simona Ronchi Della Rocca |
Intersection Typed lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 163-181, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Silvia Ghilezan, Silvia Likavec |
Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 106-123, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Sylvain Lippi |
Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TERMGRAPH ![In: Proceedings of the First International Workshop on Term Graph Rewriting, TERMGRAPH 2002, Barcelona, Spain, October 7, 2002, pp. 75-86, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Sylvain Lippi |
Encoding Left Reduction in the Lambda-Calculus with Interaction Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 12(6), pp. 797-822, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong |
Innocent game models of untyped lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 272(1-2), pp. 247-292, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Adrian Fiech, David A. Schmidt |
Polymorphic lambda calculus and subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 278(1-2), pp. 111-140, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Klaus Aehlig, Jan Johannsen |
An Elementary Fragment of Second-Order Lambda Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/0210022, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
20 | Zena M. Ariola, Stefan Blom |
Skew confluence and the lambda calculus with letrec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 117(1-3), pp. 95-168, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Catarina Coquand |
A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 15(1), pp. 57-90, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Peter Selinger |
The lambda calculus is algebraic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 12(6), pp. 549-566, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Gérard Boudol, Pascal Zimmer |
Recursion in the call-by-value lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings, pp. 61-66, 2002, University of Aarhus. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
20 | Antonino Salibra |
Nonmodularity Results for Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 45(4), pp. 379-392, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
20 | Antonino Salibra |
Towards Lambda Calculus Order-Incompleteness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BOTH ![In: Bohm's theorem: applications to Computer Science Theory, BOTH 2001, Satellite Workshop of ICALP 2001, Crete, Greece, July 13, 2001, pp. 145-158, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Peter Sestoft |
Demonstrating Lambda Calculus Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 424-432, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Shinya Sato, Toru Sugimoto, Shinichi Yamada |
An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 292-307, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Arnold Beckmann |
Exact Bounds for Lengths of Reductions in Typed lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 66(3), pp. 1277-1285, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Eduardo Bonelli |
Perpetuality in a named lambda calculus with explicit substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 11(1), pp. 47-90, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
20 | René David, Bruno Guillaume |
A lambda-calculus with explicit weakening and explicit substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 11(1), pp. 169-206, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
20 | Rainer Kerth |
On the construction of stable models of untyped lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 269(1-2), pp. 23-46, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Marino Miculan |
Developing (Meta)Theory of Lambda-calculus in the Theory of Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MERLIN ![In: Mechanized Reasoning about Languages with Variable Binding, MERLIN 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, pp. 37-58, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Thierry Joly |
Constant time parallel computations in lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 266(1-2), pp. 975-985, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Athanassios Tzouvaras |
Objects and their lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 258(1-2), pp. 209-232, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Silvia Ghilezan |
Full Intersection Types and Topologies in Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 62(1), pp. 1-14, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Alberto Momigliano, Frank Pfenning |
Higher-Order Pattern Complement and the Strict Lambda-Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/0109072, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
20 | Fairouz Kamareddine |
Reviewing the Classical and the de Bruijn Notation for [lambda]-calculus and Pure Type Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 11(3), pp. 363-394, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Jean-Louis Krivine |
Typed lambda-calculus in classical Zermelo-Frænkel set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 40(3), pp. 189-205, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 03E40, 03B40, 68N18 |
20 | Allan Ramsay |
Theorem Proving for Untyped Constructive $\lambda$-Calculus: Implementation and Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 9(1), pp. 83-100, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Torben Æ. Mogensen |
An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers, pp. 205-213, 2001, Springer, 3-540-43075-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Jesse Alt, Sergei N. Artëmov |
Reflective lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof Theory in Computer Science ![In: Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings, pp. 22-37, 2001, Springer, 3-540-42752-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Pietro Di Gianantonio |
Game Semantics for the Pure Lazy lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 106-120, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Andrzej Filinski |
Normalization by Evaluation for the Computational Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 151-165, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Thierry Joly |
The Finitely Generated Types of the lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 240-252, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Jorge Sousa Pinto |
Parallel Implementation Models for the lambda-Calculus Using the Geometry of Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 385-399, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Thorsten Altenkirch, Thierry Coquand |
A Finitary Subsystem of the Polymorphic lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 22-28, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Antonino Salibra |
A Continuum of Theories of Lambda Calculus without Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 16th Annual IEEE Symposium on Logic in Computer Science, Boston, Massachusetts, USA, June 16-19, 2001, Proceedings, pp. 334-343, 2001, IEEE Computer Society, 0-7695-1281-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Thorsten Altenkirch, Peter Dybjer, Martin Hofmann 0001, Philip J. Scott |
Normalization by Evaluation for Typed Lambda Calculus with Coproducts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 16th Annual IEEE Symposium on Logic in Computer Science, Boston, Massachusetts, USA, June 16-19, 2001, Proceedings, pp. 303-310, 2001, IEEE Computer Society, 0-7695-1281-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Masahito Hasegawa |
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings, pp. 277-288, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
20 | Marcello M. Bonsangue, Joost N. Kok |
Infinite Intersection and Union Types for the Lazy Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings, pp. 448-458, 2001, Springer, 3-540-42736-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
20 | René Vestergaard, James Brotherston |
A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings, pp. 306-321, 2001, Springer, 3-540-42117-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Samson Abramsky, Marina Lenisa |
Fully Complete Minimal PER Models for the Simply Typed lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings, pp. 443-457, 2001, Springer, 3-540-42554-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Benedetto Intrigila, Anna Rita Laurenzi |
Two Problems on Reduction Graphs in Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 44(1-2), pp. 133-144, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Dana S. Scott |
Powersets, Fixed Points, and Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCSIT ![In: First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2000, Cork, Ireland, July 20-21, 2000, pp. 392, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo |
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: 4th International Workshop on Higher Order Operational Techniques in Semantics, HOOTS 2000, Satellite to PLI 2000, Montreal, Canada, September 22, 2000, pp. 70-88, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | John Power |
Models for the computational lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCSIT ![In: First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2000, Cork, Ireland, July 20-21, 2000, pp. 288-301, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Mayer Goldberg |
Gödelization in the lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 75(1-2), pp. 13-16, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Healfdene Goguen, Jean Goubault-Larrecq |
Sequent combinators: a Hilbert system for the lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 10(1), pp. 1-79, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Benedetto Intrigila, E. Biasone |
On the number of fixed points of a combinator in lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 10(5), pp. 595-615, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Steven Awodey |
Topological representation of the lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 10(1), pp. 81-96, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Fangmin Song, YongSen Xu, Yuechen Qian |
The self-reduction in lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 235(1), pp. 171-181, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Antonino Salibra |
On the algebraic models of lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 249(1), pp. 197-240, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Joëlle Despeyroux, Pierre Leleu |
Metatheoretic Results for a Modal lambda-Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Log. Program. ![In: J. Funct. Log. Program. 2000(1), 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Peter W. O'Hearn, John C. Reynolds |
From Algol to polymorphic linear lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 47(1), pp. 167-223, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
local state, linear logic, parametric polymorphism, logical relations |
20 | Manfred Schmidt-Schauß, Michael Huber |
A Lambda-Calculus with letrec, case, constructors and non-determinism ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.PL/0011008, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Torben Æ. Mogensen |
Linear-Time Self-Interpretation of the Pure Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 13(3), pp. 217-237, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | A. J. Kfoury |
A linearization of the Lambda-calculus and consequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 10(3), pp. 411-436, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Mayer Goldberg |
Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 10(6), pp. 607-623, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Silvia Ghilezan |
Intersection Types and Topologies and Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP Satellite Workshops ![In: ICALP Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000, pp. 303-304, 2000, Carleton Scientific, Waterloo, Ontario, Canada, 1-894145-07-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | William Ferreira 0001, Matthew Hennessy, Alan Jeffrey |
Combining the typed lambda-calculus with CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof, Language, and Interaction ![In: Proof, Language, and Interaction, Essays in Honour of Robin Milner, pp. 511-534, 2000, The MIT Press, 978-0-262-16188-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Felix Joachimski, Ralph Matthes |
Standardization and Confluence for a Lambda Calculus with Generalized Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings, pp. 141-155, 2000, Springer, 3-540-67778-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Michel Parigot |
Strong Normalization of Second Order Symmetric lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 20th Conference, FST TCS 2000 New Delhi, India, December 13-15, 2000, Proceedings., pp. 442-453, 2000, Springer, 3-540-41413-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Yasuhiko Minamide |
Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999, pp. 105-120, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Søren B. Lassen |
Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 346-374, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Carsten Führmann |
Direct Models for the Computational Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 245-292, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi |
The call-by-value [lambda]-calculus: a semantic investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 9(5), pp. 617-650, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
20 | Furio Honsell, Marina Lenisa |
Semantical Analysis of Perpetual Strategies in lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 212(1-2), pp. 183-209, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | John Maraist, Martin Odersky, David N. Turner, Philip Wadler |
Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 228(1-2), pp. 175-210, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Gavin M. Bierman |
A Classical Linear lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 227(1-2), pp. 43-78, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Alessandro Berarducci, Mariangiola Dezani-Ciancaglini |
Infinite lambda-Calculus and Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 212(1-2), pp. 29-75, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Viviana Bono, Michele Bugliesi |
Matching for the lambda Calculus of Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 212(1-2), pp. 101-140, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Olivier Bastonero, Xavier Gouy |
Strong Stability and the Incompleteness of Stable Models for lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 100(1-3), pp. 247-277, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Norman Danner |
Ordinals and Ordinal Functions Representable in the Simply Typed lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 97(1-3), pp. 179-201, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | James McKinna, Robert Pollack |
Some Lambda Calculus and Type Theory Formalized. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 23(3-4), pp. 373-409, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Martin Hofmann 0001 |
Semantics of Linear/Modal Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 9(3), pp. 247-277, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Tristan Crolard |
A confluent lambda-calculus with a catch/throw mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 9(6), pp. 625-647, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen, Hongwei Xi |
Perpetual Reductions in Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 149(2), pp. 173-225, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Antonino Salibra, Robert Goldblatt |
A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 148(1), pp. 71-130, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Torben Æ. Mogensen |
Gödelization in the Untyped lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, Texas, USA, January 22-23, 1999. Technical report BRICS-NS-99-1, pp. 19-24, 1999, University of Aarhus. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
20 | Catherine Pilière |
A Confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-Point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 12th International Symposium, FCT '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings, pp. 421-432, 1999, Springer, 3-540-66412-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Maribel Fernández, Ian Mackie |
Closed Reductions in the lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 220-234, 1999, Springer, 3-540-66536-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Samin S. Ishtiaq, David J. Pym |
Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 235-249, 1999, Springer, 3-540-66536-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy |
LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLCL ![In: 3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998, pp. 265-290, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Laurent Dami |
A Lambda-Calculus for Dynamic Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 192(2), pp. 201-231, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Robert Goldblatt |
Enlargement of Functional Algebras for the Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 198(1-2), pp. 177-200, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Naim Çagman, J. Roger Hindley |
Combinatory Weak Reduction in Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 198(1-2), pp. 239-247, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Gerald J. Sussman, Guy L. Steele Jr. |
Scheme: A Interpreter for Extended Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 11(4), pp. 405-439, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Anindya Banerjee 0001, David A. Schmidt |
Stackability in the Simply-Typed Call-by-Value lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 31(1), pp. 47-73, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | John Maraist, Martin Odersky, Philip Wadler |
The Call-by-Need Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 8(3), pp. 275-317, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno |
A Filter Model for Concurrent lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 27(5), pp. 1376-1419, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Neil D. Jones, Carsten K. Gomard, Peter Sestoft |
Partial Evaluation for the Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Evaluation ![In: Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998, pp. 203-220, 1998, Springer, 3-540-66710-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Pietro Di Gianantonio, Furio Honsell, Luigi Liquori |
A Lambda Calculus of Objects with Self-Inflicted Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1998, Vancouver, British Columbia, Canada, October 18-22, 1998., pp. 166-178, 1998, ACM, 1-58113-005-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Joëlle Despeyroux, Pierre Leleu |
A Modal Lambda Calculus with Iteration and Case Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers, pp. 47-61, 1998, Springer, 3-540-66537-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Arne Kutzner, Manfred Schmidt-Schauß |
A Non-Deterministic Call-by-Need Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998., pp. 324-335, 1998, ACM, 1-58113-024-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | John Maraist |
Separating Weakening and Contraction in a Linear Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), Perth, WA, Australia, February 2-3, 1998, pp. 151-166, 1998, Springer-Verlag Singapore Pte. Ltd.. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
20 | Carolina Lavatelli |
Deadlock Sensitive Types for Lambda Calculus with Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, pp. 30-41, 1998, Springer, 3-540-65384-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 32(3-4), pp. 193-250, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Henk Barendregt |
The impact of the lambda calculus in logic and computer science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 3(2), pp. 181-215, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries |
Infinitary Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 175(1), pp. 93-125, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|