activity
20122022
most citedStructural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic

11 citations · 57 across the 11 of their papers we have counts for

collaborators
Showing 2012Show all

2 papers · 1 filter

cs.PL2012★ 10 cited

Generic Fibrational Induction

Neil Ghani, Patricia Johann, Clement Fumex

This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our res…

cs.LO2012★ 6 cited

Refining Inductive Types

Robert Atkey, Patricia Johann, Neil Ghani

Dependently typed programming languages allow sophisticated properties of data to be expressed within the type system. Of particular use in dependently typed programming are indexe…