Ivo Pezlar

Available identifiers

Publication	Date of Publication	Type
Going nowhere and back: is trivialization the same as zero execution?	2024-09-06	Paper
The placeholder view of assumptions and the Curry-Howard correspondence	2023-12-14	Paper
Constructive validity of a generalized Kreisel-Putnam rule	2023-11-26	Paper
Type polymorphism, natural language semantics, and TIL	2023-06-14	Paper
Book review of: N. Kürbis, Proof and falsity: a logical investigation	2023-04-21	Paper
The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract)	2023-03-31	Paper
Meaning and computing: two approaches to computable propositions	2022-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q5067988	2022-04-04	Paper
Composition of deductions within the propositions-as-types paradigm	2021-02-17	Paper
Non-constructive procedural theory of propositional problems and the equivalence of solutions	2021-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q5197384	2019-09-23	Paper
Algorithmic theories of problems. A constructive and a non-constructive approach	2018-06-13	Paper
Towards a more general concept of inference	2015-02-05	Paper

This page was built for person: Ivo Pezlar