【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

Hofmann, Martin

ID:DA10914851

Alias Name: Hofmann, M

Search authors sharing the same name

Search Results1-4 of 4

1

Foundations of software science and computational structures : 14th International Conference, FOSSACS 2011, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, proceedings

Martin Hofmann (ed.)

Springer, c2011 Lecture notes in computer science 6604 . Advanced research in computing and software science

Available at 1 libraries
2

Typed lambda calculi and applications : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings

Martin Hofmann (ed.)

Springer c2003 Lecture notes in computer science 2701

Available at 30 libraries
3

Extensional constructs in intensional type theory

Martin Hofmann

Springer c1997 CPHC/BCS distinguished dissertation series

hardback

Available at 17 libraries
4

Extensional constructs in intensional type theory

Martin Hofmann

University of Edinburgh, Department of Computer Science 1995

Available at 1 libraries

Search this author

Related Authors