Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation (2003)

by Gérard Huet
Venue:in « Thirty Five Years of Automating Mathematics
Citations:13 - 3 self

Active Bibliography

Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation – G'erard Huet Inria-rocquencourt
1105 Head-Driven Statistical Models for Natural Language Parsing – Michael Collins - 1999
CONTENTS 1 Contents The Zen Computational Linguistics Toolkit – Gérard Huet - 2007
314 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
272 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
271 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
224 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
205 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
166 Linearity and the Pi-Calculus – Naoki Kobayashi, Benjamin C. Pierce, David N. Turner - 1999