|
 
|
[DEL02] A Proof Dedicated Meta-Language
Conférence Internationale avec comité de lecture : Proceedings of Logical Frameworks and Meta-Languages (LFM), Copenhagen (Denmark), January 2002, Vol. 70(2), Series ENTCS,
motcle:
BibTeX
| @inproceedings { | |||
| DEL02, | |||
| title | = | "{A Proof Dedicated Meta-Language}", | |
| author | = | " D. Delahaye ", | |
| booktitle | = | "{Proceedings of Logical Frameworks and Meta-Languages (LFM), Copenhagen (Denmark)}", | |
| year | = | 2002, | |
| month | = | "January", | |
| series | = | "ENTCS", | |
| volume | = | 70, | |
| issue | = | 2, | |
| } | |||
