When is a type refinement an inductive type

Robert Atkey, Patricia Johann, Neil Ghani

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

8 Citations (Scopus)

1 Finished

1 results

Filter

Finished
Categorical Foundations of Indexed Programming
Johann, P. & Ghani, N.
EPSRC (Engineering and Physical Sciences Research Council)
1/07/09 → 31/12/12
Project: Research