@article{Mogensen_2000,
    author = {Torben Æ. Mogensen},
    doi = {https://dx.doi.org/10.1023/a:1010058213619},
    url = {https://doi.org/10.1023%2Fa%3A1010058213619},
    year = {2000},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {13},
    number = {3},
    pages = {217--237},
    journal = {Higher-Order and Symbolic Computation},
    title = {{Linear-Time Self-Interpretation of the Pure Lambda Calculus}},
    date-modified = {2025-10-13 8:21:46 +0100},
    obsidian_note = {test3}
}

@article{Mogensen_2000, author = {Torben Æ. Mogensen}, doi = {https://dx.doi.org/10.1023/a:1010058213619}, url = {https://doi.org/10.1023%2Fa%3A1010058213619}, year = {2000}, publisher = {Springer Science and Business Media {LLC}}, volume = {13}, number = {3}, pages = {217--237}, journal = {Higher-Order and Symbolic Computation}, title = {{Linear-Time Self-Interpretation of the Pure Lambda Calculus}}, date-modified = {2025-10-13 8:21:46 +0100}, obsidian_note = {test3} }