Browse New Popular Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports
Advertise herefrom $25.00/day  ·  RON $40.00/day

Proofs and Types

dcs.qmul.ac.uk
Visit Site

By Jean-Yves Girard, Yves Lafont and Paul Taylor (CUP,1989). Full text online (DVI,PDF,PS).

Category
Books
Visits
294
Added
Aug 3, 2025
Rating
(120)
Rate This Site
More in Books Report
Advertise herefrom $12.00/day  ·  RON $18.00/day
Advertise herefrom $10.00/day  ·  RON $15.00/day
Advertise herefrom $8.00/day  ·  RON $11.20/day
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
Practical Foundations of Mathematics 389 visits
Advertise herefrom $15.00/day  ·  RON $21.00/day