[AC1997] A Sufficient Condition for Completability of Partial Combinatory Algebras
| AC97jsl (Article)
|
| Author(s) | Asperti A. and Ciabattoni A. |
| Title | "A Sufficient Condition for Completability of Partial Combinatory Algebras" |
| Date | 1997 |
| Journal | J. of Symbolic Logic |
| Volume | 2 |
| Number | 4 |
| Page(s) | 1209-1214 |
@article{AC97jsl,
journal = {J. of Symbolic Logic},
volume = {2},
title = {A Sufficient Condition for Completability of Partial Combinatory Algebras},
author = {A. Asperti and A. Ciabattoni},
year = {1997},
pages = {1209-1214},
number = {4},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)