View in EDS PDF Full Text

Realizability in ordered combinatory algebras with adjunction.

Saved in:
Bibliographic Details
Title: Realizability in ordered combinatory algebras with adjunction.
Authors: SANTOS, WALTER FERRER1,2 mguille@fing.edu.uy, GUILLERMO, MAURICIO3 malherbe@fing.edu.uy, MALHERBE, OCTAVIO1,3
Source: Mathematical Structures in Computer Science. Mar2019, Vol. 29 Issue 3, p430-464. 35p.
Database: Mathematics Source
Description
ISSN:09601295
DOI:10.1017/S0960129518000075