Вы здесь

Hofmann M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Toward Interoperability of Mobile-Agent Systems 2002 Grimstrup A., Gray R., Kotz D., Breedy M., Carvalho M., Cowin T., Chacon D., Barton J., Garrett C., Hofmann M. Lecture Notes in Computer Science 29.11.2002
СТ Another Type System for In-Place Update 2002 Aspinall D., Hofmann M. Lecture Notes in Computer Science 08.05.2002
СТ A Type System for Bounded Space and Functional In-Place Update - Extended Abstract 2000 Hofmann M. Lecture Notes in Computer Science 25.04.2000
СТ A Mixed Modal/Linear Lambda Calculus with Applications to Bellantoni-Cook Safe Recursion 1998 Hofmann M. Lecture Notes in Computer Science 19.06.1998
СТ Conservativity of Equality Reflection over Intensional Type Theory 1996 Hofmann M. Lecture Notes in Computer Science 23.11.1996
СТ On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic 1995 Hofmann M., Sannella D. Lecture Notes in Computer Science 16.06.1995
СТ A Simple Model for Quotient Types 1995 Hofmann M. Lecture Notes in Computer Science 15.04.1995
СТ Elimination of Extensionality in Martin-Lof Type Theory 1994 Hofmann M. Lecture Notes in Computer Science 21.07.1994
СТ A Unifying Type-Theoretic Framework for Objects 1994 Hofmann M., Pierce B. Lecture Notes in Computer Science 26.03.1994