Garrel Pottinger

Available identifiers

zbMath Open pottinger.garrelMaRDI QIDQ1076006

List of research outcomes

Publication	Date of Publication	Type
The romulus proof checker	2023-04-28	Paper
Intension, designation, and extension	1985-01-01	Paper
The Church-Rosser theorem for the typed lambda-calculus with pairing pairing	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3856734	1980-01-01	Paper
On analysing relevance constructively	1979-01-01	Paper
A new classical relevance logic	1979-01-01	Paper
Proofs of the normalization and Church-Rosser theorems for the typed \(\lambda\)-calculus	1978-01-01	Paper
Normalization as a homomorphic image of cut-elimination	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4145691	1977-01-01	Paper
A new way of normalizing intuitionistic propositional logic	1976-01-01	Paper

Research outcomes over time

This page was built for person: Garrel Pottinger