scientific article
From MaRDI portal
Publication:3384897
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1803.07313
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Lectures on the Curry-Howard isomorphism
- Constructivism in mathematics. An introduction. Volume II
- Classical recursion theory. Vol. II
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Nested sequents for intuitionistic logics
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
- Cut‐Elimination Theorem for the Logic of Constant Domains
- On the interpretation of intuitionistic number theory
- On Herbrand's theorem
This page was built for publication:
