Login / Signup
Fredrik Lindblad
Publication Activity (10 Years)
Years Active: 2004-2014
Publications (10 Years): 0
Top Topics
Theorem Prover
Higher Order Logic
Sequent Calculus
Top Venues
IJCAR
</>
Publications
</>
Fredrik Lindblad
A Focused Sequent Calculus for Higher-Order Logic.
IJCAR
(2014)
Fredrik Lindblad
Higher-Order Proof Construction Based on First-Order Narrowing.
Electron. Notes Theor. Comput. Sci.
196 (2008)
Colin Runciman
,
Matthew Naylor
,
Fredrik Lindblad
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values.
Haskell
(2008)
Fredrik Lindblad
Property Directed Generation of First-Order Test Data.
Trends in Functional Programming
(2007)
Fredrik Lindblad
,
Marcin Benke
A Tool for Automated Theorem Proving in Agda.
TYPES
(2004)