×

Found 55 Documents (Results 1–55)

100
MathJax

Consuming and persistent types for classical logic. (English) Zbl 07299500

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 619-632 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Types as resources for classical natural deduction. (English) Zbl 1434.03053

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 24, 17 p. (2017).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI

Unified semantics and proof system for classical, intuitionistic and affine logics. (English) Zbl 1395.03038

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 156-165 (2016).
MSC:  03F52 03B10 03B20
PDF BibTeX XML Cite
Full Text: DOI

Classical by-need. (English) Zbl 1335.68034

Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 616-643 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Classical call-by-need sequent calculi: the unity of semantic artifacts. (English) Zbl 1354.68043

Schrijvers, Tom (ed.) et al., Functional and logic programming. 11th international symposium, FLOPS 2012, Kobe, Japan, May 23–25, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29821-9/pbk). Lecture Notes in Computer Science 7294, 32-46 (2012).
MSC:  68N18 03B40 03B70
PDF BibTeX XML Cite
Full Text: DOI Link

Superdeduction in \(\bar{\lambda}\mu\tilde{\mu}\). (English) Zbl 1456.03086

van Bakel, Steffen (ed.) et al., Third international workshop on classical logic and computation, Brno, Czech Republic, August 21–22, 2010. Proceedings. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 47, 34-43 (2011).
PDF BibTeX XML Cite
Full Text: arXiv Link

Classical call-by-need and duality. (English) Zbl 1331.68041

Ong, Luke (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1–3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). Lecture Notes in Computer Science 6690, 27-44 (2011).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI Link

A hierarchy for delimited continuations in call-by-name. (English) Zbl 1284.03139

Ong, Luke (ed.), Foundations of software science and computational structures. 13th international conference, FOSSACS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20–28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12031-2/pbk). Lecture Notes in Computer Science 6014, 374-388 (2010).
MSC:  03B40 68N18
PDF BibTeX XML Cite
Full Text: DOI

Denotational semantics of call-by-name normalization in lambda-mu calculus. (English) Zbl 1336.68031

Seda, Anthony (ed.) et al., Proceedings of the Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2006), National University of Ireland, Cork, Ireland, August 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 225, 161-179 (2009).
MSC:  68N18 18C50 68Q55
PDF BibTeX XML Cite
Full Text: DOI

On the relations between the syntactic theories of \(\lambda \mu \)-calculi. (English) Zbl 1156.03317

Kaminski, Michael (ed.) et al., Computer science logic. 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87530-7/pbk). Lecture Notes in Computer Science 5213, 154-168 (2008).
MSC:  03B40 03B70 68N18
PDF BibTeX XML Cite
Full Text: DOI

Stabilization – an alternative to double-negation translation for classical natural deduction. (English) Zbl 1102.03008

Stoltenberg-Hansen, Viggo (ed.) et al., Logic colloquium ’03. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Helsinki, Finland, August 14–20, 2003. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-293-0/hbk; 1-56881-294-9/pbk). Lecture Notes in Logic 24, 167-199 (2006).
MSC:  03B40 03F05
PDF BibTeX XML Cite

Call-by-value is dual to call-by-name. (English) Zbl 1315.68060

Proceedings of the 8th ACM SIGPLAN international conference on functional programming, ICFP ’03, Uppsala, Sweden, August 25–29, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-756-7). ACM SIGPLAN Notices 38, No. 9, 189-201 (2003).
MSC:  68N18 03B70
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification

Software