-
1
Applied semantics /
Published 2002“…Lecture notes in computer science ;…”
Conference Proceeding Book -
2
Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book