scientific article
From MaRDI portal
Publication:2757809
zbMATH Open0978.03510MaRDI QIDQ2757809
Publication date: 4 December 2001
Title of this publication is not available (Why is that?)
Categorical logic, topoi (03G30) Continuous lattices and posets, applications (06B35) Combinatory logic and lambda calculus (03B40)
Related Items (1)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2757809)
