[ A
| B
| C
| D
| E
| F
| G
| H
| I
| J
| K
| L
| M
| N
| O
| P
| Q
| R
| S
| T
| U
| V
| W
| X
| Y
| Z
]
Uustalu, Tarmo - University of Minho + Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.
Help build the largest human-edited
directory on the web.