%0 Journal Article %1 journals/aml/OlssonL24 %A Olsson, Mattias Granberg %A Leigh, Graham E. %D 2024 %J Arch. Math. Log. %K dblp %N 1-2 %P 61-87 %T Revisiting the conservativity of fixpoints over intuitionistic arithmetic. %U http://dblp.uni-trier.de/db/journals/aml/aml63.html#OlssonL24 %V 63

@article{journals/aml/OlssonL24, added-at = {2024-04-12T00:00:00.000+0200}, author = {Olsson, Mattias Granberg and Leigh, Graham E.}, biburl = {https://www.bibsonomy.org/bibtex/298a7e904d986e36bb7df54b608e3297b/dblp}, ee = {https://doi.org/10.1007/s00153-023-00878-2}, interhash = {d45be311adae42c3943345a6ec2120fe}, intrahash = {98a7e904d986e36bb7df54b608e3297b}, journal = {Arch. Math. Log.}, keywords = {dblp}, month = {February}, number = {1-2}, pages = {61-87}, timestamp = {2024-04-15T07:03:04.000+0200}, title = {Revisiting the conservativity of fixpoints over intuitionistic arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml63.html#OlssonL24}, volume = 63, year = 2024 }