×

Found 3,506 Documents (Results 1–100)

100
MathJax

Computational adequacy for substructural lambda calculi. (English) Zbl 07454912

Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 322-334 (2021).
MSC:  03B40 03G30
PDF BibTeX XML Cite
Full Text: arXiv Link

A tale of intersection types. (English) Zbl 07299454

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). 7-20 (2020).
MSC:  03B40 68N18
PDF BibTeX XML Cite
Full Text: DOI Link

On solving nominal disunification constraints. (English) Zbl 07297789

Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 3-22 (2020).
MSC:  03B70 03B40 68Q55
PDF BibTeX XML Cite
Full Text: DOI

On some enumerative problems in lambda calculus. (English. Russian original) Zbl 1484.03022

J. Math. Sci., New York 247, No. 3, 442-456 (2020); translation from Zap. Nauchn. Semin. POMI 475, 99-121 (2018).
MSC:  03B40 05A15
PDF BibTeX XML Cite
Full Text: DOI

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

Modal type theory based on the intuitionistic modal logic \(\mathrm{IEL}^{-}\). (English) Zbl 1485.03033

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 236-248 (2020).
PDF BibTeX XML Cite
Full Text: DOI

\(\lambda!\)-calculus, intersection types, and involutions. (English) Zbl 07559281

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 15, 16 p. (2019).
MSC:  03B70 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

From linear logic to cyclic sharing. (English) Zbl 1486.03107

Ehrhard, Thomas (ed.) et al., Proceedings of the joint international workshop on linearity & trends in linear logic and applications, Linearity-TLLA 2018, Oxford, UK, July 7–8, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 292, 31-42 (2019).
MSC:  03F52 03B40
PDF BibTeX XML Cite
Full Text: arXiv Link

The bang calculus and the two Girard’s translations. (English) Zbl 1486.03105

Ehrhard, Thomas (ed.) et al., Proceedings of the joint international workshop on linearity & trends in linear logic and applications, Linearity-TLLA 2018, Oxford, UK, July 7–8, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 292, 15-30 (2019).
MSC:  03F52 03B40 68N18
PDF BibTeX XML Cite
Full Text: arXiv Link

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

Setoid type theory – a syntactic translation. (English) Zbl 1434.03034

Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 155-196 (2019).
MSC:  03B38 03B40 03F25
PDF BibTeX XML Cite
Full Text: DOI

Superposition with lambdas. (English) Zbl 1471.03014

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 55-73 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

A concrete categorical semantics of lambda-\(\mathcal{S}\). (English) Zbl 1433.68201

Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 83-100 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Pre-grammars and inhabitation for a subset of rank 2 intersection types. (English) Zbl 1433.68185

Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 25-45 (2019).
MSC:  68Q42 03B40
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software