%0 Journal Article %1 journals/sLogica/LaanN96 %A Laan, Twan %A Nederpelt, Rob %D 1996 %J Stud Logica %K dblp %N 2/3 %P 243-278 %T A modern elaboration of the ramified theory of types. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica57.html#LaanN96 %V 57

@article{journals/sLogica/LaanN96, added-at = {2020-09-01T00:00:00.000+0200}, author = {Laan, Twan and Nederpelt, Rob}, biburl = {https://www.bibsonomy.org/bibtex/291d65a7efe07ecbafa9180ff5faf9a75/dblp}, ee = {https://doi.org/10.1007/BF00370835}, interhash = {dd46d821be0dd76260971b4ffa9f059b}, intrahash = {91d65a7efe07ecbafa9180ff5faf9a75}, journal = {Stud Logica}, keywords = {dblp}, number = {2/3}, pages = {243-278}, timestamp = {2020-09-09T12:38:46.000+0200}, title = {A modern elaboration of the ramified theory of types.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica57.html#LaanN96}, volume = 57, year = 1996 }