Sciweavers

TLCA
1997
Springer
13 years 10 months ago
Primitive Recursion for Higher-Order Abstract Syntax
Joëlle Despeyroux, Frank Pfenning, Carsten Sc...
TLCA
1997
Springer
13 years 10 months ago
Coinductive Axiomatization of Recursive Type Equality and Subtyping
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...
Michael Brandt, Fritz Henglein
TLCA
1997
Springer
13 years 10 months ago
Games and Weak-Head Reduction for Classical PCF
We present a game model for classical PCF, a nite version of PCF extended by a catch/throw mechanism. This model is build from E-dialogues, a kind of two-players game de ned by Lor...
Hugo Herbelin
TLCA
1997
Springer
13 years 10 months ago
Proof Nets, Garbage, and Computations
S TECHNICAL REPORT ABSTRACTS
Stefano Guerrini, Simone Martini, Andrea Masini