Вы здесь
Altenkirch T.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Monadic Presentations of Lambda Terms Using Generalized Inductive Types | 1999 | Altenkirch T., Reus B. | Lecture Notes in Computer Science | 12.11.1999 | |||
| СТ | Proving Strong Normalization of CC by Modifying Realizability Semantics | 1994 | Altenkirch T. | Lecture Notes in Computer Science | 21.07.1994 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Types for Proofs and Programs: Proc./Intern. Workshop, TYPES 98. Kloster Irsee, Germany, March 1998 | 1999 | Lecture Notes in Computer Science |
|
10.12.1999 |