scientific article; zbMATH DE number 1231514

zbMath0908.03019MaRDI QIDQ4222826

Vincent Danos, Laurent Regnier

Publication date: 13 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#danos

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

lambda-calculuslinear head reductionoptimal machine

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• The structure of multiplicatives
• An equivalence between lambda- terms
• Reversible, irreversible and optimal \(\lambda\)-machines
• Interaction Net Implementation of Additive and Multiplicative Structures
• A new constructive logic: classic logic

This page was built for publication: