scientific article; zbMATH DE number 7809762
From MaRDI portal
Publication:6121516
arXiv2303.15784MaRDI QIDQ6121516
Osbert Bastani, Unnamed Author, Steve Zdancewic
Publication date: 27 February 2024
Full work available at URL: https://arxiv.org/abs/2303.15784
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Computational interpretations of linear logic
- LMNtal as a hierarchical logic programming language
- Automatic synthesis of typed \(\Lambda\)-programs on term algebras
- Handsome proof-nets: Perfect matchings and cographs
- Interaction nets for linear logic
- Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object
- Labelled port graph -- a formal structure for models and computations
- Logic Programming with Focusing Proofs in Linear Logic
- Logic Beyond Formulas
- Functional programming with structured graphs
- Parametric higher-order abstract syntax for mechanized semantics
- Boxes go bananas
- Theorem Proving in Higher Order Logics
