Chu’s Construction: A Proof-theoretic Approach (2001)

Cached

Download Links

by G. Bellin
Venue:LOGIC FOR CONCURRENCY AND SYNCHRONISATION”, KLUWER TRENDS IN LOGIC N.18, 2003, PP.93-114. LAMBDA CALCULUS 37
Citations:5 - 4 self