Henk Barendregt - Böcker
Visar alla böcker från författaren Henk Barendregt.
5 produkter
5 produkter
Lambda Calculus with Types
Av Henk Barendregt, Wil Dekkers, Richard Statman, Henk (Radboud Universiteit Nijmegen) Barendregt, Wil (Radboud Universiteit Nijmegen) Dekkers
Inbunden, Engelska, 2013
1 369 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2012
379 kr
Skickas inom 5-8 vardagar
Häftad, Engelska, 2022
529 kr
Skickas inom 5-8 vardagar
Inbunden, Engelska, 2023
659 kr
Skickas inom 5-8 vardagar
Del 806 - Lecture Notes in Computer Science
Types for Proofs and Programs
Häftad, Engelska, 1994
719 kr
Skickas inom 10-15 vardagar