Course reserves for Mestrado e Matemática e Computação
- Regime: 1º semestre
- School/Institute: Escola de Ciências (EC)
- Code: 10942
- Curricular Unit: Lógica da programação
- Instrutor(s):
- Notes: Ano 1
| Title | Author | Item type | Location | Collection | Call number | Copy number | Status | Date due | Notes | Link |
|---|---|---|---|---|---|---|---|---|---|---|
| Lectures on the curry-howard isomorphism | Morten Heine Sorensen, Pawel Urzyczyn | Monografia | Biblioteca Geral da Universidade do Minho |
BGUM 510.6 - S | Available | Bibliografia essencial | ||||
| Interactive theorem proving and program development | Yves Bertot, Pierre Castéran | Monografia | Biblioteca Geral da Universidade do Minho |
BGUM 519.6 - B | Available | Bibliografia essencial |
