Tag: J. L. Krivine

Lambda-Calculus, Types and Models (Ellis Horwood Series in Computers & Their Applications) by J. L. Krivine (PDF)

January 6, 2023

Ebook Info Published: Number of pages: Format: PDF File Size: 1.11 MB Authors: J. L....

Read more

Advertisement

spot_img