38 citations · 103 across the 14 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 4 cited
Positive Inductive-Recursive Definitions
Neil Ghani, Fredrik Nordvall Forsberg, Lorenzo Malatesta
A new theory of data types which allows for the definition of types as initial algebras of certain functors Fam(C) -> Fam(C) is presented. This theory, which we call positive induc…
cs.LO2015★ 33 cited
Extracting verified decision procedures: DPLL and Resolution
Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg +1
This article is concerned with the application of the program extraction technique to a new class of problems: the synthesis of decision procedures for the classical satisfiability…