Document Search Results

Russian constructivism in a prefascist theory. (English) Zbl 1498.03159

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). 782-794 (2020).

MSC: 03F60 03F55 03B38 18F20

Cite Review PDF

Full Text: DOI HAL

Biernacki, Dariusz; Lenglet, Sergueï; Polesiuk, Piotr

Bisimulations for delimited-control operators. (English) Zbl 1421.68012

Log. Methods Comput. Sci. 15, No. 2, Paper No. 18, 57 p. (2019).

MSC: 68N18

Cite Review PDF

Full Text: arXiv

Johnson-Freyd, Philip; Downen, Paul; Ariola, Zena M.

Call-by-name extensionality and confluence. (English) Zbl 1418.68033

J. Funct. Program. 27, Paper No. e12, 45 p. (2017).

MSC: 68N18 68Q42

Cite Review PDF

Full Text: DOI

De’Liguoro, Ugo

The approximation theorem for the \(\Lambda_{\mu}\)-calculus. (English) Zbl 1423.03052

Math. Struct. Comput. Sci. 27, No. 5, 560-580 (2017).

MSC: 03B40

Cite Review PDF

Full Text: DOI

Miquey, Étienne

A classical sequent calculus with dependent types. (English) Zbl 1485.68071

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, 777-803 (2017).

MSC: 68N30 03B70 68N18

Cite Review PDF

Full Text: DOI HAL

Saurin, Alexis

Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus. (English) Zbl 1244.68027

Theor. Comput. Sci. 435, 106-138 (2012).

MSC: 68N18 03B40

Cite Review PDF

Full Text: DOI

Found 6 Documents (Results 1–6)

Russian constructivism in a prefascist theory. (English) Zbl 1498.03159

Bisimulations for delimited-control operators. (English) Zbl 1421.68012

Call-by-name extensionality and confluence. (English) Zbl 1418.68033

The approximation theorem for the \(\Lambda_{\mu}\)-calculus. (English) Zbl 1423.03052

A classical sequent calculus with dependent types. (English) Zbl 1485.68071

Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus. (English) Zbl 1244.68027

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field