Sorensen – Urzyczyn

Libro adottato a Genova, a.a. 2026/2027 · 1 canale

«Sorensen – Urzyczyn» è adottato per Formal Methods dai docenti Francesco Dagnino e Arnaud Henri Paul Sangnier (Computer science – Genova).

Come lo indica il docente: M.H.B. Sorensen, P. Urzyczyn. *Lectures on the Curry-Howard Isomorphism*. Elsevier, 2006

Chi lo adotta

• Formal Methods – Prof. Francesco Dagnino, Prof. Arnaud Henri Paul Sangnier (canale unico)Computer science · Laurea magistrale (LM-18) · 1º anno · 1º semestre · 9 CFU

Programma e testi di ogni canale

Si studia insieme a

• J.Y. Girard, Y. Lafont, P. Taylor. *Proofs and
• Katoen – Baier