author | wenzelm |
Fri, 03 Nov 2000 21:35:59 +0100 | |
changeset 10390 | 1d54567bed24 |
parent 10285 | 6949e17f314a |
child 11349 | fcb507c945c3 |
permissions | -rw-r--r-- |
@InProceedings{paulin-tlca, author = {Christine Paulin-Mohring}, title = {Inductive Definitions in the System {Coq}: Rules and Properties}, crossref = {tlca93}, pages = {328-345}} @Proceedings{tlca93, title = {Typed Lambda Calculi and Applications}, booktitle = {Typed Lambda Calculi and Applications}, editor = {M. Bezem and J.F. Groote}, year = 1993, publisher = {Springer}, series = {LNCS 664}}