scientific article; zbMATH DE number 7327940

MaRDI QIDQ5856410

Antonio Bucciarelli, Delia Kesner, Simonetta Ronchi della Rocca

Publication date: 26 March 2021

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (1)

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A \(\rho\)-calculus of explicit constraint application
• Lambda calculus with patterns
• Confluence by decreasing diagrams
• Pattern matching as cut elimination
• The Inhabitation Problem for Non-idempotent Intersection Types
• A filter lambda model and the completeness of type assignment
• The Structural λ-Calculus
• First-class patterns
• A Polymorphic Type System for the Lambda-Calculus with Constructors
• The emptiness problem for intersection types
• Essential and relational models
• Observability for Pair Pattern Calculi
• Functional and Logic Programming
• No solvable lambda-value term left behind

This page was built for publication: