A Modal Lambda Calculus with Iteration and Case Constructs (1997)

Cached

Download Links

by Pierre Leleu
Venue:TYPES FOR PROOFS AND PROGRAMS: INTERNATIONAL WORKSHOP, TYPES ’98, KLOSTER IRSEE
Citations:8 - 1 self