Pattern matching with dependent types. Talk given at (1992)

by Coquand
Venue:the BRA workshop on Proofs and Types, Bastad