Head linear reduction and pure proof net extraction

Authors:
G. F. Mascari;M. Pedicini
Affiliations:
IAC-CNR Istituto per le Applicazioni del Calcolo, Rome, Italy;IAC-CNR Istituto per le Applicazioni del Calcolo, Rome, Italy
Venue:
MFPS '92 Selected papers of the conference on Meeting on the mathematical foundations of programming semantics, part I : linear logic: linear logic
Year:
1992

Game semantics and abstract machines

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Flow analysis: games and nets

The essence of computation
Taming Modal Impredicativity: Superlazy Reduction

LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
The separation theorem for differential interaction nets

LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Estimation of the length of interactions in arena game semantics

FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
A nonstandard standardization theorem

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Hi-index	0.00