Extracting Text from Proof (1995)

Cached

Download Links

by Yann Coscoy , Gilles Kahn , Laurent Thery
Venue:IN TYPED LAMBDA CALCULUS AND ITS APPLICATIONS
Citations:37 - 1 self

Document Versions

Extracting Text from Proof –Yann Coscoy, Gilles Kahn, Laurent Thery — 1995 — IN TYPED LAMBDA CALCULUS AND ITS APPLICATIONS
Extracting Text from Proof –Yann Coscoy, Gilles Kahn, Laurent Théry — 1995 — In Typed Lambda Calculus and its Applications