|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| deLiguoro-Piperno-Statman:LICS92 (In proceedings) | |
| Author(s) | Ugo de' Liguoro, Adolfo Piperno and Rick Statman |
| Title | « Retracts in simply typed - calculus » |
| In | Proc. of IEEE-LICS '92 |
| Page(s) | 461-469 |
| Year | 1992 |
| BibTeX code |
@inproceedings{deLiguoro-Piperno-Statman:LICS92,
booktitle = {Proc. of IEEE-LICS '92},
tag = {{LICS '92}},
title = {Retracts in simply typed $\lambda$-$\beta\eta$ calculus},
author = {Ugo de' Liguoro and Adolfo Piperno and Rick Statman},
pages = {461-469},
year = {1992},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)