The Scott model of Linear Logic is the extensional collapse of its relational model (2011)

Cached

Download Links

by Thomas Ehrhard
Citations:3 - 1 self

Documents Related by Co-Citation

12 Filter Models for Conjunctive-Disjunctive λ-calculi – Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno - 1996
11 A relational model of a parallel and non-deterministic lambda-calculus – Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto - 2008
19 Not enough points is enough – Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto - 2007
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
6 Categories, types and structures. Category theory for the working computer scientist – A Asperti, G Longo - 1991
3 Execution Time of λ-Terms via Denotational Semantics and Intersection Types. Research Report RR6638 – Daniel De Carvalho - 2008
4 de Falco. A semantic measure of the execution time in linear logic – Daniel de Carvalho, Michele Pagani, Lorenzo Tortora
1 The λ-calculus is algebraic – P Selinger - 2002
19 Disjunctive Tautologies as Synchronisation Schemes – Vincent Danos, Jean-louis Krivine, Université Paris, Équipe Preuves - 2000
4 A stable programming language – Luca Paolini
7 A filter model for concurrent λ -calculus – M Dezani-Ciancaglini, U de’Liguoro, A Piperno - 1998
4 2008): Models and theories of lambda calculus – G Manzonetto
35 2000): From computation to foundations via functions and application: the λ-calculus and its webbed models. Theoretical Computer Science 249 – C Berline
7 Bidomains and full abstraction for countable non-determinism – J. Laird - 2006
5 A Categorical Semantics for The Parallel LambdaCalculus – Germain Faure, Alexandre Miquel - 2009
210 A powerdomain construction – G. D. Plotkin - 1976
59 Hypercoherences: A Strongly Stable Model of Linear Logic – Thomas Ehrhard - 1993
41 Lambda-calculi for (strict) parallel functions – G BOUDOL - 1992
395 LCF considered as a programming language – G Plotkin - 1977