When is a type refinement an inductive type

Robert Atkey, Patricia Johann, Neil Ghani

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

8 Citations (Scopus)
Filter
Finished

Search results