×

Found 302 Documents (Results 1–100)

Algebraic models of simple type theories. A polynomial approach. (English) Zbl 1498.03039

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). 88-101 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Differential logical relations. I: The simply-typed case. (English) Zbl 1514.68033

Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 111, 14 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modality via iterated enrichment. (English) Zbl 1528.03129

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Classical control and quantum circuits in enriched category theory. (English) Zbl 1525.68020

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, 257-279 (2018).
PDFBibTeX XMLCite
Full Text: DOI

A theory of linear typings as flows on 3-valent graphs. (English) Zbl 1453.03012

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 919-928 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Probabilistic stable functions on discrete cones are power series. (English) Zbl 1502.68169

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 275-284 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Quantitative semantics of the lambda calculus. Some generalisations of the relational model. (English) Zbl 1452.03046

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 4, 12 p. (2017).
PDFBibTeX XMLCite
Full Text: Link

The syntax of many-valued relations. (English) Zbl 1455.68195

Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 61-68 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Some structures on \(\gamma\)-open sets in fuzzy bitopological spaces. (English) Zbl 1391.54007

Ladde, G. S. (ed.) et al., Dynamic systems and applications. Vol. 7. Proceedings of the 7th international conference, Morehouse College, Atlanta, GA, USA, May 27–30, 2015. Atlanta, GA: Dynamic Publishers (ISBN 1-890888-07-9/hbk). 246-250 (2016).
MSC:  54A40 54E55
PDFBibTeX XMLCite

Categorical models of the differential \(\lambda\)-calculus revisited. (English) Zbl 1394.03024

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, 63-83 (2016).
MSC:  03B40 18D15
PDFBibTeX XMLCite
Full Text: DOI

Join inverse categories as models of reversible recursion. (English) Zbl 1475.68058

Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 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. Lect. Notes Comput. Sci. 9634, 73-90 (2016).
PDFBibTeX XMLCite
Full Text: DOI Link

Undecidability of equality in the free locally Cartesian closed category. (English) Zbl 1433.03036

Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 138-152 (2015).
PDFBibTeX XMLCite
Full Text: DOI

A type theory for productive coprogramming via guarded recursion. (English) Zbl 1394.68066

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 71, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Schrödinger equation with convolution nonlinearity on Lie groups and commutative homogeneous spaces. (English. Russian original) Zbl 1326.22018

Russ. Phys. J. 57, No. 8, 1050-1058 (2014); translation from Izv. Vyssh. Uchebn. Zaved., Fiz. 57, No. 8, 42-48 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Weighted relational models of typed lambda-calculi. (English) Zbl 1366.03171

Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 301-310 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Nominal lambda calculus: an internal language for FM-Cartesian closed categories. (English) Zbl 1334.68042

Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 93-117 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Fun with semirings: a functional pearl on the abuse of linear algebra. (English) Zbl 1323.68110

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 101-110 (2013).
MSC:  68N18 15B33 16Y60
PDFBibTeX XMLCite
Full Text: DOI

What is a categorical model of arrows? (English) Zbl 1291.68107

Capretta, Venanzio (ed.) et al., Proceedings of the second workshop on mathematically structured functional programming (MSFP 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 5, 19-37 (2011).
MSC:  68N18 18D15 18D20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software