scientific article

MaRDI QIDQ3384877

Francesco A. Genco, Federico Aschieri, Agata Ciabattoni

Publication date: 17 December 2021

Full work available at URL: https://arxiv.org/abs/1809.03094

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

On the concurrent computational content of intermediate logics, Normality, non-contamination and logical depth in classical natural deduction

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Lectures on the Curry-Howard isomorphism
• Propositions as sessions
• The duality of computation
• Functions as processes
• Proofs of strong normalisation for second order classical natural deduction
• Call-by-value is dual to call-by-name
• Higher-Order Processes, Functions, and Sessions: A Monadic Integration
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item