Curry–Howard–Lambek Correspondence for Intuitionistic Belief.

Saved in:

Bibliographic Details
Title:	Curry–Howard–Lambek Correspondence for Intuitionistic Belief.
Authors:	Perini Brogi, Cosimo¹ (AUTHOR) perinibrogi@dima.unige.it
Source:	Studia Logica. Dec2021, Vol. 109 Issue 6, p1441-1461. 21p.
Database:	Mathematics Source

Description
ISSN:	00393215
DOI:	10.1007/s11225-021-09952-3