| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9-15, 2000 Advanced Lectures | Taschenbuch | | 978-3-540-44044-4 | 2009 | Gilles Barthe · Luís Pinto · João Saraiva |
| Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings | " | | 978-3-540-51662-0 | 2008 | Andrew M. Pitts · Axel Poigne · David E. Rydeheard · David H. Pitt |
| Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994: Proceedings | Paperback | | 978-0-387-60579-1 | 1995 | Bengt Nordstrom · Jan M. Smith |
| Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers | " | | 978-3-662-18846-0 | 2014 | Bengt Nordström · Jan Smith |
| Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers | Taschenbuch | | 978-3-540-60579-9 | 2008 | Jan Smith · Bengt Nordstr??m |
| Types for Proofs and Programs: International Workshop, TYPES'99 Lökeberg, Sweden, June 12-16, 1999 Selected Papers | " | | 978-3-540-41517-6 | 2009 | Thierry Coquand · Jan Smith · Bengt Nordström |