×

Found 68 Documents (Results 1–68)

100
MathJax

Deriving theorems in implicational linear logic, declaratively. (English) Zbl 07455712

Ricca, Francesco (ed.) et al., Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18–24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 325, 110-123 (2020).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: arXiv Link

A contextual reconstruction of monadic reflection. (English) Zbl 07533352

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 27, 14 p. (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Modality via iterated enrichment. (English) Zbl 07517283

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 297-320 (2018).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Classical logic with Mendler induction – a dual calculus and its strong normalization. (English) Zbl 1476.03008

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 43-59 (2016).
MSC:  03B38
PDF BibTeX XML Cite
Full Text: DOI

Intuitionistic hypothetical logic of proofs. (English) Zbl 1337.03032

de Paiva, Valeria (ed.) et al., Proceedings of the 6th workshop on intuitionistic modal logic and applications (IMLA 2013) in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 300, 89-103 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Scalar System F for linear-algebraic \(\lambda\)-calculus: towards a quantum physical logic. (English) Zbl 1347.03019

Coecke, Bob (ed.) et al., Proceedings of the 6th international workshop on quantum physics and logic (QPL 2009), Oxford, UK, April 8–9, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 270, No. 2, 219-229 (2011).
MSC:  03B40 81P10
PDF BibTeX XML Cite
Full Text: DOI

Type-level computation using narrowing in \(\Omega\)mega. (English) Zbl 1277.68046

Stump, Aron (ed.) et al., Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 7, 105-128 (2007).
MSC:  68N15 03B70 68N18 68T15
PDF BibTeX XML Cite
Full Text: DOI

Predicates as types. (English) Zbl 1127.03318

Schwichtenberg, Helmut (ed.) et al., Proof technology and computation. Papers from the summer school, Marktoberdorf, Germany, July 29–August 10, 2003. Amsterdam: IOS Press (ISBN 1-58603-625-4/hbk). NATO Science Series III: Computer & Systems Sciences 200, 355-386 (2006).
MSC:  03B10 03B15 03B20 03B40 03D20 03F30 03F05
PDF BibTeX XML Cite

The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning. (English) Zbl 1048.03024

Downey, Rod (ed.) et al., Proceedings of the the 7th and 8th Asian logic conference. Proceedings of the ICM 2002 satellite conferences on mathematical logic, Hsi-Tou, Taiwan, June 6–10, 1999 and Chongqing, China, August 29–September 2, 2002. River Edge, NJ: World Scientific (ISBN 981-238-261-5/hbk). 343-376 (2003).
MSC:  03B70 68N30
PDF BibTeX XML Cite

A layered approach to extracting programs from proofs with an application in graph theory. (English) Zbl 1039.03022

Downey, Rod (ed.) et al., Proceedings of the the 7th and 8th Asian logic conference. Proceedings of the ICM 2002 satellite conferences on mathematical logic, Hsi-Tou, Taiwan, June 6–10, 1999 and Chongqing, China, August 29–September 2, 2002. River Edge, NJ: World Scientific (ISBN 981-238-261-5/hbk). 193-221 (2003).
MSC:  03B70 68N30 68R10
PDF BibTeX XML Cite

Handbook of philosophical logic. Vol. 6. 2nd ed. (English) Zbl 1065.03002

Handbook of Philosophical Logic 6. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0583-0/hbk). xiii, 406 p. (2002).
PDF BibTeX XML Cite

Programs, proofs and parametrized specifications. (English) Zbl 1043.68048

Cerioli, Maura (ed.) et al., Recent trends in algebraic development techniques. 15th international workshop, WADT 2001, joint with the CoFI WG meeting, Genova, Italy, April 1–3, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43159-4). Lect. Notes Comput. Sci. 2267, 280-304 (2001).
MSC:  68N30 03B70 03F05
PDF BibTeX XML Cite
Full Text: Link

Intuitionism – counting its blessings. (Preliminary version). (English) Zbl 0908.03055

Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 22 p. (1996).
PDF BibTeX XML Cite
Full Text: Link

Call-by-name, call-by value, call-by-need and the linear lambda calculus. (English) Zbl 0908.03017

Brookes, Steve (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), Tulane Univ., New Orleans, LA, USA, March 29 - April 1, 1995. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 1, 23 p. (1995).
MSC:  03B40 03B70 68Q55
PDF BibTeX XML Cite
Full Text: Link

Extensions of logic programming. International workshop, Tübingen, FRG, 8–10 December 1989. Proceedings. (English) Zbl 0770.68025

Lecture Notes in Computer Science 475. Berlin etc.: Springer-Verlag (ISBN 3-540-53590-X). VIII, 364 p. (1991).
PDF BibTeX XML Cite
Full Text: DOI

Constructive mathematics and computer-assisted reasoning systems. (English) Zbl 0788.68129

Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 43-52 (1990).
MSC:  68T15 68W30 03F65 03B35
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software