On probabilistic coherence spaces (2008)

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

Documents Related by Co-Citation

53 Finiteness spaces – Thomas Ehrhard - 1987
32 Glueing and Orthogonality for Models of Linear Logic – Martin Hyland, Andrea Schalk - 2003
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
19 On the representation of data in lambda-calculus – Michel Parigot - 1989
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
427 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
353 Proofs and Types – Jean-Yves Girard, Yves Lafont, Paul Taylor - 1989
210 Data types as lattices – D SCOTT - 1976