scientific article; zbMATH DE number 7561342
From MaRDI portal
Publication:5090978
DOI10.4230/LIPIcs.FSTTCS.2018.37MaRDI QIDQ5090978
Ivan Scagnetto, Claude Stolze, Luigi Liquori, Furio Honsell
Publication date: 21 July 2022
Full work available at URL: https://arxiv.org/abs/1808.04193
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A typed lambda calculus with intersection types
- Domain theory in logical form
- Proof-functional connectives and realizability
- Intersection and union types: Syntax and semantics
- Elaborating intersection and union types
- A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
- Logic and Computation in a Lambda Calculus with Intersection and Union Types
- A Realizability Interpretation for Intersection and Union Types
- A new type assignment for λ-terms
- A filter lambda model and the completeness of type assignment
- Functional Characters of Solvable Terms
- Hyperformulae, Parallel Deductions and Intersection Types
- Theorem Proving in Higher Order Logics
This page was built for publication:
