author | wenzelm |
Sun, 22 Oct 2000 22:18:40 +0200 | |
changeset 10285 | 6949e17f314a |
parent 10270 | 6086be03a80b |
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}}