scientific article

zbMath1278.03059MaRDI QIDQ2871873

Fredrik Lindblad

Publication date: 10 January 2014

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066108000388?np=y

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

zbMATH Keywords

type theorynarrowinglogical frameworkshigher-order proof construction

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)

Related Items

Automatic Proof and Disproof in Isabelle/HOL