Thomas Ehrhard

Ying Jiang

CoRR, 2013

2012

The Scott model of linear logic is the extensional collapse of its relational model.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

The stack calculus

[BibT_eX]

[DOI]

Alberto Carraro

Antonino Salibra

Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012

Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

A relational semantics for parallelism and non-determinism in a functional setting.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2012

Collapsing non-idempotent intersection types.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic (CSL'12), 2012

2011

Probabilistic coherence spaces as a model of higher-order probabilistic computation.

[BibT_eX]

[DOI]

Vincent Danos

Inf. Comput., 2011

The Computational Meaning of Probabilistic Coherence Spaces.

[BibT_eX]

[DOI]

Michele Pagani

Christine Tasson

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

Resource Lambda-Calculus: the Differential Viewpoint.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 2011

Full Abstraction for Resource Calculus with Tests.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 2011

2010

Interpreting a finitary pi-calculus in differential interaction nets.

[BibT_eX]

[DOI]

Olivier Laurent

Inf. Comput., 2010

Categorical Models for Simply Typed Resource Calculi.

[BibT_eX]

[DOI]

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Acyclic Solos and Differential Interaction Nets

[BibT_eX]

[DOI]

Olivier Laurent

Log. Methods Comput. Sci., 2010

A convenient differential category

[BibT_eX]

[DOI]

Richard Blute

Christine Tasson

CoRR, 2010

Resource Combinatory Algebras.

[BibT_eX]

[DOI]

Alberto Carraro

Antonino Salibra

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

A Finiteness Structure on Resource Terms.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

Exponentials with Infinite Multiplicities.

[BibT_eX]

[DOI]

Alberto Carraro

Antonino Salibra

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2009

On Linear Information Systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings First International Workshop on Linearity, 2009

A Relational Model of a Parallel and Non-deterministic lambda-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2008

Uniformity and the Taylor expansion of ordinary lambda-terms.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Differential Linear Logic and Processes.

[BibT_eX]

[DOI]

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2007

Not Enough Points Is Enough.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2006

Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms.

[BibT_eX]

[DOI]

Proceedings of the Logical Approaches to Computational Barriers, 2006

2005

Finiteness spaces.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2005

2004

A completeness theorem for symmetric product phase spaces.

[BibT_eX]

[DOI]

J. Symb. Log., 2004

Differential Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the 11th Workshop on Logic, Language, Information and Computation, 2004

2003

The differential lambda-calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

2002

On Köthe Sequence Spaces and Linear Logic.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2002

2001

On phase semantics and denotational semantics: the exponentials.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2001

2000

Parallel and serial hypercoherences.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2000

1999

Quantitative Semantics Revisited.

[BibT_eX]

[DOI]

Nuno Barreiro

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

1998

Foreword.

[BibT_eX]

[DOI]

Yves Lafont

Math. Struct. Comput. Sci., 1998

A relative PCF-definability result for strongly stable functions and some corollaries.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Domains IV 1998, 1998

1997

Believe it or not, AJM's Games Model is a Model of Classical Linear Logic.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

Timeless Games.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1996

Projecting Sequential Algorithms on Strongly Stable Functions.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 1996

1994

Sequentiality in an Extensional Framework

[BibT_eX]

[DOI]

Inf. Comput., May, 1994

On Strong Stability and Higher-Order Sequentiality

[BibT_eX]

[DOI]

Loïc Colson

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

1993

A Theory of Sequentiality.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

Hypercoherences: A Strongly Stable Model of Linear Logic.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1993

1991

Sequentiality and Strong Stability

[BibT_eX]

[DOI]

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

Extensional Embedding of a Strongly Stable Model of PCF.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

Stone Duality for Stable Functions.

[BibT_eX]

[DOI]

Pasquale Malacaria

Proceedings of the Category Theory and Computer Science, 1991

1989

Dictoses.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Science, 1989

1988

A Categorical Semantics of Constructions

[BibT_eX]

[DOI]

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

1987

An Equational Presentation of Higher Order Logic.

[BibT_eX]

[DOI]

Thierry Coquand