Ivo Pezlar

Available identifiers

zbMath Open pezlar.ivoMaRDI QIDQ2148781

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q5149143	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ivo Pezlar