Вы здесь

Brauner T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Model of Intuitionistic Affine Logic from Stable Domain Theory 1994 Brauner T. Lecture Notes in Computer Science 11.08.1994
СТ 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