On probabilistic coherence spaces (2008)

by Vincent Danos , Thomas Ehrhard
Citations:2 - 0 self

Documents Related by Co-Citation

6 Sémantiques de la logique linéaire et temps de calcul. Thèse de doctorat, Université Aix-Marseille – Daniel de Carvalho - 2007
4 Generic Properties of Datatypes – Roland Backhouse, Paul Hoogendijk - 2002
10 and Oege De Moor. Container types categorically – Paul Hoogendijk - 2000
4 Graph models of lambda-calculus at work, and variations – Chantal Berline
3 The inverse Taylor expansion problem in Linear Logic – M Pagani, C Tasson - 2009
4 Pre-recursive categories – M-F Thibault - 1982
2 Paul-André Melliès. Interactive models of computation and program behaviour, volume 27 of Panoramas et synthèses, pages 1–196. Société Mathématique de – Pierre-Louis Curien, Hugo Herbelin, Jean-Louis Krivine - 2009
11 A relational model of a parallel and non-deterministic lambda-calculus – Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto - 2008
15 Normal functors, power series and lambda-calculus – J-Y Girard - 1986
19 Not enough points is enough – Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto - 2007
7 Execution Time of Lambda-Terms via Denotational Semantics and Intersection Types – D de Carvalho - 1991
3 Algebraic totality, towards completeness – C Tasson - 2009
17 Linear-algebraic lambda-calculus: higher-order, encodings, and confluence – Pablo Arrighi, Gilles Dowek - 2008
210 Data types as lattices – D SCOTT - 1976
17 Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms – Thomas Ehrhard, Laurent Regnier - 2005
423 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
352 Proofs and Types – J-Y Girard, Y Lafont, P Taylor - 1989
67 Stable models of typed lambda-calculi – G Berry - 1978
51 Finiteness spaces – Thomas Ehrhard - 1987
19 On representation of data in lambda calculus – M Parigot - 1989