-
1
Applied semantics /
Published 2002Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
2
Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /
Published 1995Subjects:Conference Proceeding Book