×

Found 746 Documents (Results 1–100)

Inductive continuity via Brouwer trees. (English) Zbl 07953286

Leroux, Jérôme (ed.) et al., 48th international symposium on mathematical foundations of computer science, MFCS 2023, Bordeaux, France, August 28 – September 1, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 272, Article 37, 16 p. (2023).
MSC:  68Qxx
Full Text: DOI

Concurrent realizability on conjunctive structures. (English) Zbl 07929343

Gaboardi, Marco (ed.) et al., 8th international conference on formal structures for computation and deduction, FSCD 2023, Rome, Italy, July 3–6, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 260, Article 28, 21 p. (2023).
MSC:  68Q85 03F52

Constructing unprejudiced extensional type theories with choices via modalities. (English) Zbl 1541.03033

Felty, Amy P. (ed.), 7th international conference on formal structures for computation and deduction, FSCD 2022, Haifa, Israel, August 2–5, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 228, Article 10, 23 p. (2022).
MSC:  03B38 03F50 03B45
Full Text: DOI

Revisiting the duality of computation: an algebraic analysis of classical realizability models. (English) Zbl 07650843

Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 30, 18 p. (2020).
MSC:  68-XX 03B70

Filter Results by …

Access

Document Type

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