Parallel and Serial Hypercoherences (1995)

Cached

Download Links

by Thomas Ehrhard
Venue:Theoretical Computer Science, North-Holland
Citations:4 - 0 self

Documents Related by Co-Citation

84 Sequential algorithms on concrete data structures, Theor – G Berry, P-L Curien - 1982
49 Concurrent Games and Full Completeness РSamson Abramsky, Paul-Andr̩ Melli̬s, Equipe De Logique Mathematique - 1998
625 Light Linear Logic – Jean-yves Girard
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
209 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
198 On Full Abstraction for PCF – J M E Hyland, C-H L Ong
96 What is a Categorical Model of Intuitionistic Linear Logic? – G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C - 1995
58 Hypercoherences: A Strongly Stable Model of Linear Logic – Thomas Ehrhard - 1993
52 Sequentiality and strong stability – A Bucciarelli, T Ehrhard - 1991