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 |
@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},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)