Publication:5389088

DOI10.4230/LIPIcs.RTA.2011.299zbMath1236.68147MaRDI QIDQ5389088

Cody Roux

Publication date: 24 April 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_2f9e.html

zbMATH Keywords

higher-order; dependency pairs; refinement types

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

68Q42: Grammars and rewriting systems

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• Automath