## Lectures on the Curry-Howard Isomorphism

**Author**: Morten Heine Sørensen,Pawel Urzyczyn

**Publisher:** Elsevier

**ISBN:** 9780080478920

**Category:** Mathematics

**Page:** 456

**View:** 2666

**Author**: Morten Heine Sørensen,Pawel Urzyczyn

**Publisher:** Elsevier

**ISBN:** 9780080478920

**Category:** Mathematics

**Page:** 456

**View:** 2666

**Author**: Donald Sannella,Andrzej Tarlecki

**Publisher:** Springer Science & Business Media

**ISBN:** 3642173365

**Category:** Computers

**Page:** 584

**View:** 950

**Author**: Ulrich Kohlenbach

**Publisher:** Springer Science & Business Media

**ISBN:** 3540775331

**Category:** Mathematics

**Page:** 536

**View:** 6466

*LIPIcs Proceedings 19th International Conference TYPES 2013, April 22–26, 2013, Toulouse, France*

**Author**: Ralph Matthes,Aleksy Schubert

**Publisher:** BoD – Books on Demand

**ISBN:** 3735756867

**Category:** Computers

**Page:** 280

**View:** 3982

*17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22–27, 2018, Proceedings*

**Author**: Ildar Batyrshin,María de Lourdes Martínez-Villaseñor,Hiram Eredín Ponce Espinosa

**Publisher:** Springer

**ISBN:** 3030044971

**Category:** Computers

**Page:** 371

**View:** 8297

**Author**: N.A

**Publisher:** N.A

**ISBN:** N.A

**Category:** Logic, Symbolic and mathematical

**Page:** N.A

**View:** 445

**Author**: N.A

**Publisher:** N.A

**ISBN:** N.A

**Category:** American literature

**Page:** N.A

**View:** 2574

*Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings*

**Author**: Jerzy Tiuryn

**Publisher:** Springer

**ISBN:** N.A

**Category:** Computer software

**Page:** 391

**View:** 7668