Вы здесь

Brauner T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Simple Adequate Categorical Model for PCF 1997 Brauner T. Lecture Notes in Computer Science 11.04.1997
СТ The Girard Translation Extended with Recursion 1995 Brauner T. Lecture Notes in Computer Science Computer Science Logic 29.08.1995
СТ A Model of Intuitionistic Affine Logic from Stable Domain Theory 1994 Brauner T. Lecture Notes in Computer Science 11.08.1994