Altenkirch, Thorsten, 1962-
| Biografické údaje: | Počítačový odborník. |
|---|---|
| Zdroj: |
Altenkirch, T. - McBride, C.: Types for proofs and programs LC (Names) www(University of Nottingham) |
| Další informace: |
     |
| Biografické údaje: | Počítačový odborník. |
|---|---|
| Zdroj: |
Altenkirch, T. - McBride, C.: Types for proofs and programs LC (Names) www(University of Nottingham) |
| Další informace: |
|