scientific article; zbMATH DE number 1956517

zbMath1029.68098MaRDI QIDQ4417863

Joshua Dunfield, Frank Pfenning

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2620/26200250.htm

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Related Items (9)

Set Constraints, Pattern Match Analysis, and SMT ⋮ Type inference for rank-2 intersection types using set unification ⋮ Structural rules and algebraic properties of intersection types ⋮ Polarized subtyping ⋮ Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) ⋮ Extensible Datasort Refinements ⋮ Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage ⋮ Unnamed Item ⋮ Taming the Merge Operator

This page was built for publication: