Computational Interpretations of Linear Logic (1993)

Cached

Download Links

by Samson Abramsky
Venue:Theoretical Computer Science
Citations:281 - 3 self

Active Bibliography

102 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
1 Theory for Software Verification – David A. Naumann - 2009
11 Game Semantics and Subtyping – Juliusz Chroboczek - 1999
32 Compilation and Equivalence of Imperative Objects – Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen - 1998
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
10 Dynamic Slicing In Higher-Order Programming Languages – Sandip K. Biswas, Carl A. Gunter, Insup Lee - 1997
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
6 A Chemical Abstract Machine for Graph Reduction – Alan Jeffrey - 1992
3 An abstract machine based on linear logic and explicit substitutions – Francisco J. Alberti - 1997
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
1 A Study of Objects – Paul Hankin - 1999
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
10 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
19 Modal Types for Mobile Code – Tom Murphy, VII - 2008
Contents – unknown authors
7 Programming in the pi-calculus: A tutorial introduction to Pict (Pict Version 3.8d) – Benjamin C. Pierce - 1996
94 The Polymorphic Pi-calculus: Theory and Implementation – David N. Turner - 1995