The expressive power of structural operational semantics with explicit assumptions

Marino Miculan
1994-01-01
Cite DOI URL
Type
Conference paper
Publication
Types for Proofs and Programs (TYPES 1993)
Theoretical Computer Science; Computer Science (all)

Related