Peter Dybjer profile picture

Peter Dybjer

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Category theory and computer science
Semantics and logics of computation
Types for Proofs and Programs International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Types for Proofs and Programs International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Types for Proofs and Programs International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Proceedings (Lecture Notes in Computer Science)