-
1Types for Proofs and Programs [electronic resource] : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers / Types for Proofs and Programs [electronic resource] : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers /by Dybjer, Peter. editor., Nordström, Bengt. editor., Smith, Jan. editor., SpringerLink (Online service)
Published 1995Texto bibliotecaCOLPOS -
2Types for Proofs and Programs [electronic resource] : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers / Types for Proofs and Programs [electronic resource] : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers /by Dybjer, Peter. editor., Nordström, Bengt. editor., Smith, Jan. editor., SpringerLink (Online service)
Published 1995Texto bibliotecaCOLPOS -
3Applied Semantics [electronic resource] : International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures / Applied Semantics [electronic resource] : International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures /by Barthe, Gilles. editor., Dybjer, Peter. editor., Pinto, Luís. editor., Saraiva, João. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS -
4Applied Semantics [electronic resource] : International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures / Applied Semantics [electronic resource] : International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures /by Barthe, Gilles. editor., Dybjer, Peter. editor., Pinto, Luís. editor., Saraiva, João. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS -
5Category Theory and Computer Science [electronic resource] : Manchester, UK, September 5–8, 1989 Proceedings / Category Theory and Computer Science [electronic resource] : Manchester, UK, September 5–8, 1989 Proceedings /by Pitt, David H. editor., Rydeheard, David E. editor., Dybjer, Peter. editor., Pitts, Andrew M. editor., Poigné, Axel. editor., SpringerLink (Online service)
Published 1989Texto bibliotecaCOLPOS -
6Category Theory and Computer Science [electronic resource] : Manchester, UK, September 5–8, 1989 Proceedings / Category Theory and Computer Science [electronic resource] : Manchester, UK, September 5–8, 1989 Proceedings /by Pitt, David H. editor., Rydeheard, David E. editor., Dybjer, Peter. editor., Pitts, Andrew M. editor., Poigné, Axel. editor., SpringerLink (Online service)
Published 1989Texto bibliotecaCOLPOS