Publication:4945203
From MaRDI portal
zbMath0942.03012MaRDI QIDQ4945203
Publication date: 23 August 2000
03B35: Mechanization of proofs and logical operations
Related Items
Type-based termination of generic programs, Indexed induction-recursion, Dependently Sorted Logic, Libraries for Generic Programming in Haskell