A concrete model for a typed linear algebraic lambda calculus. (English) Zbl 07813373
MSC:
68-XX
Found 8 Documents (Results 1–8)
Proof normalisation in a logic identifying isomorphic propositions. (English) Zbl 1528.03120
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 14, 23 p. (2019).
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).
A lambda calculus for density matrices with classical and probabilistic controls. (English) Zbl 1503.68043
Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 448-467 (2017).
Typing quantum superpositions and measurement. (English) Zbl 1513.81018
Martín-Vide, Carlos (ed.) et al., Theory and practice of natural computing. 6th international conference, TPNC 2017, Prague, Czech Republic, December 18–20, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10687, 281-293 (2017).
The vectorial \(\lambda\)-calculus. (English) Zbl 1370.68045
MSC:
68N18
Filter Results by …
Document Type
- Journal Articles (4)
- Collection Articles (4)
all
top 5
Author
- Díaz-Caro, Alejandro (7)
- Dowek, Gilles (3)
- Malherbe, Octavio (2)
- Arrighi, Pablo (1)
- Paolini, Luca (1)
- Piccolo, Mauro (1)
- Valiron, Benoît (1)
- Zorzi, Margherita (1)
Serial
- Theor. Comput. Sci. (1)
- Inf. Comput. (1)
- J. Autom. Reasoning (1)
- Math. Struct. Comput. Sci. (1)
