Online Library TheLib.net » Author books / Книги автора Henk Barendregt Tobias Nipkow (eds.)
book Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers
Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers
djvu
00
27.01.2024
0
0
Read online