×

Found 6 Documents (Results 1–6)

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. (English) Zbl 1325.68045

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 64-76 (2004).
MSC:  68N18 03B40
PDFBibTeX XMLCite
Full Text: DOI

Slicing polarized additive normalization. (English) Zbl 1069.03056

Ehrhard, Thomas (ed.) et al., Linear logic in computer science. Based on the Azores summer school on linear logic and computer science, St. Miguel, Azores, Portugal, August 30–September 7, 2000. Cambridge: Cambridge University Press (ISBN 0-521-60857-0/pbk). London Mathematical Society Lecture Note Series 316, 247-282 (2004).
MSC:  03F52 03B40 68N18
PDFBibTeX XMLCite

Reductive logic and proof-search. Proof theory, semantics, and control. (English) Zbl 1062.03003

Oxford Logic Guides 45; Oxford Science Publications. Oxford: Clarendon Press (ISBN 0-19-852633-4/hbk). xv, 208 p. (2004).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Main Field

Software