The Enriched Effect Calculus: Syntax and Semantics
Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/exs025
Full Text
Open PDFAbstract
Available in full text
Date
June 19, 2012
Authors
Publisher
Oxford University Press (OUP)
Available in full text
June 19, 2012
Oxford University Press (OUP)