Lectures on the Curry-Howard isomorphismMorten Heine Sørensen Okładka: Lectures on the Curry-Howard isomorphism

Lectures on the Curry-Howard isomorphism

Name: Lectures on the Curry-Howard isomorphism
Author: Morten Heine Sørensen

Morten Heine Sørensen

3 biblioteki1 wydanie · 2006

Książka Biblioteki (3)

O książce

Autor: Morten Heine Sørensen
Lata wydań: 2006
Liczba wydań: 1
Języki: angielski
Rodzaj: książka

E-booki

Dostępna w 3 bibliotekach: Biblioteka Wydz. Matematyki i Informatyki (Toruń), Biblioteka Wydziału Matematyki I Informatyki (Kraków), Biblioteka Wydziału Matematyki, Informatyki i Mechaniki (Warszawa)