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