Context-Relative Syntactic Categories and the Formalization Of Mathematical Text (1996)

Cached

Download Links

by Aarne Ranta
Venue:TYPES FOR PROOFS AND PROGRAMS
Citations:8 - 2 self