How Linear is Howe? (1996)

Cached

Download Links

by Roy L. Crole
Venue:ADVANCES IN THEORY AND FORMAL METHODS
Citations:2 - 1 self

Active Bibliography

792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
75 Operationally-based theories of program equivalence – Andrew Pitts - 1997
335 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
305 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
2 Mechanized Operational Semantics via (Co)Induction – Simon J. Ambler, Roy L. Crole - 1999
21 Relational Reasoning about Contexts – Søren B. Lassen - 1998
21 A fully abstract semantics for a concurrent functional language with monadic types – A Jeffrey - 1995
11 Using a Generalisation Critic to Find Bisimulations for Coinductive Proofs – Louise Dennis, Alan Bundy, Ian Green - 1997