Publication:4417863
From MaRDI portal
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
68N18: Functional programming and lambda calculus
68Q65: Abstract data types; algebraic specification
Related Items
Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\), Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage, Extensible Datasort Refinements