VOLUME 1 | 1996 | NUMBER 4 |
Generalized Finiteness of Developments in Typed Lambda Calculi
Pages 247–257
Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX
BibTeX:
@article{JALC-1996-247, author = {Silvia Ghilezan}, title = {Generalized Finiteness of Developments in Typed Lambda Calculi}, journal = {Journal of Automata, Languages and Combinatorics}, volume = {1}, number = {4}, pages = {247--257}, year = {1996}, url = {https://doi.org/10.25596/jalc-1996-247}, doi = {10.25596/jalc-1996-247} }