Life without the Terminal Type
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Isomorphisms of simple inductive types through extensional rewriting
Mathematical Structures in Computer Science
An insertion operator preserving infinite reduction sequences
Mathematical Structures in Computer Science
Hi-index | 0.00 |