iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/jalc/Ghilezan96.xml
Silvia Ghilezan Generalized Finiteness of Developments in Typed Lambda Calculi. 247-257 1996 1 J. Autom. Lang. Comb. 4 db/journals/jalc/jalc1.html#Ghilezan96 https://doi.org/10.25596/jalc-1996-247