Affiliation:
1. Cornell University
2. SnT, University of Luxembourg
Funder
Weizmann Institute of Science -- National Postdoctoral Award program for Advancing Women in Science
Fonds National de la Recherche Luxembourg
Eric and Wendy Schmidt Postdoctoral Award program for Women in Mathematical and Computing Sciences
Fulbright Post-doctoral Scholar program
Reference44 articles.
1. Innovations in computational type theory using Nuprl
2. Mark van Atten. On Brouwer. Wadsworth Philosophers. Cengage Learning 2004. Mark van Atten. On Brouwer. Wadsworth Philosophers. Cengage Learning 2004.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Higher order functions and Brouwer’s thesis;Journal of Functional Programming;2021
2. Formally Computing with the Non-computable;Lecture Notes in Computer Science;2021
3. Definitions, Assumptions, Propositions and Proofs in Sraffa’s PCMC;Palgrave Studies in the History of Economic Thought;2021
4. The Effects of Effects on Constructivism;Electronic Notes in Theoretical Computer Science;2019-11
5. A sequent calculus with dependent types for classical arithmetic;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09