×

Found 453 Documents (Results 1–100)

100
MathJax

Aspects of categorical recursion theory. (English) Zbl 1486.81060

Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 219-269 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Factorization in call-by-name and call-by-value calculi via linear logic. (English) Zbl 07410426

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 205-225 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

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 historical account of my early research interests. (English) Zbl 07453187

Fribourg, Laurent (ed.) et al., Proceedings of the eighth international workshop on verification and program transformation and the seventh workshop on Horn clauses for verification and synthesis, VPT/HCVS 2020, Dublin, Ireland, April 25–26, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 320, 1-28 (2020).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: arXiv Link

The bang calculus revisited. (English) Zbl 07368082

Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 13-32 (2020).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI arXiv

Spinal atomic \(\lambda\)-calculus. (English) Zbl 07250958

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 582-601 (2020).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI

Normalization by evaluation for typed weak \(\lambda\)-reduction. (English) Zbl 07561491

Dybjer, Peter (ed.) et al., 24th international conference on types for proofs and programs, TYPES 2018, Braga, Portugal, June 18–21, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 130, Article 6, 17 p. (2019).
MSC:  03B70 68N30
PDF BibTeX XML Cite
Full Text: DOI

On the Taylor expansion of probabilistic \(\lambda\)-terms. (English) Zbl 07559279

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 13, 16 p. (2019).
MSC:  03B70 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Towards a semantic measure of the execution time in call-by-value lambda-calculus. (English) Zbl 07526055

Pagani, Michele (ed.) et al., Proceedings of the twelfth workshop on developments in computational models and ninth workshop on intersection types and related systems, DCM 2018 and ITRS 2018, Oxford, UK, July 8, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 293, 57-72 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: Link

On bisimilarity in lambda calculi with continuous probabilistic choice. (English) Zbl 07515957

König, Barbara (ed.), Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4–7, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 347, 121-141 (2019).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Analytic equational proof systems for combinatory logic and \(\lambda \)-calculus: a survey. (English) Zbl 1469.03042

Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 235-253 (2019).
MSC:  03B40 03F05
PDF BibTeX XML Cite
Full Text: DOI

Proving soundness of extensional normal-form bisimilarities. (English) Zbl 07513454

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 41-56 (2018).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Classical proofs as parallel programs. (English) Zbl 07447733

Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 43-57 (2018).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

Machine-checked proof of the Church-Rosser theorem for the lambda calculus using the Barendregt variable convention in constructive type theory. (English) Zbl 1433.68542

Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 79-95 (2018).
PDF BibTeX XML Cite
Full Text: DOI

(In)efficiency and reasonable cost models. (English) Zbl 1433.68084

Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 23-43 (2018).
MSC:  68N18 03B40 68Q15
PDF BibTeX XML Cite
Full Text: DOI

On the power of name-passing communication. (English) Zbl 1442.68140

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 22, 15 p. (2017).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Refutation of Sallé’s longstanding conjecture. (English) Zbl 1434.03052

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 20, 18 p. (2017).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI

Projections for infinitary rewriting. (English) Zbl 1394.68201

Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 131-148 (2017).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI arXiv

A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols. (English) Zbl 1401.68273

Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 21-38 (2017).
MSC:  68T15 03B70 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Metric reasoning about \(\lambda\)-terms: the general case. (English) Zbl 1485.68058

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 341-367 (2017).
MSC:  68N30 03B40 68N18
PDF BibTeX XML Cite
Full Text: DOI arXiv

Strong normalization through intersection types and memory. (English) Zbl 1394.03023

Benevides, Mario (ed.) et al., Proceedings of the 10th workshop on logical and semantic frameworks, with applications (LSFA 2015), Natal, Brazil, August 31 – September 1, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 323, 75-91 (2016).
MSC:  03B40 03F05
PDF BibTeX XML Cite
Full Text: DOI

Programs as data structures in \(\lambda\)SF-calculus. (English) Zbl 1394.68064

Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 221-236 (2016).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI

A realizability interpretation for intersection and union types. (English) Zbl 1485.03030

Igarashi, Atsushi (ed.), Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10017, 187-205 (2016).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI Link

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

An interaction net encoding of Gödel’s system \(\mathcal {T}\). Declarative pearl. (English) Zbl 1475.68067

Kiselyov, Oleg (ed.) et al., Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9613, 80-93 (2016).
MSC:  68N18 03B40 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Rewriting strategies and strategic rewrite programs. (English) Zbl 1321.68331

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 380-403 (2015).
PDF BibTeX XML Cite
Full Text: DOI Link

Relational graph models, Taylor expansion and extensionality. (English) Zbl 1337.03022

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 245-272, electronic only (2014).
PDF BibTeX XML Cite
Full Text: DOI

Call-by-value non-determinism in a linear logic type discipline. (English) Zbl 1434.68083

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7734, 164-178 (2013).
MSC:  68N18 03B40 03F52
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software