Ordered combinatory algebras and realizability ^†

E-ISSN： 1469-8072|27|3|428-458

ISSN： 0960-1295

Source： Mathematical Structures in Computer Science, Vol.27, Iss.3, 2017-03, pp. : 428-458

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Quasivarieties and varieties of ordered algebras: regularity and exactness ^†

Mathematical Structures in Computer Science, Vol. 27, Iss. 7, 2017-10 ,pp. : 1153-1194

Cambridge University Press

Access to resources Recommend Favorite

Classical realizability and arithmetical formulæ

Mathematical Structures in Computer Science, Vol. 27, Iss. 6, 2017-09 ,pp. : 1068-1107

Cambridge University Press

Access to resources Recommend Favorite

Constructive forcing, CPS translations and witness extraction in Interactive realizability ^†

Mathematical Structures in Computer Science, Vol. 27, Iss. 6, 2017-09 ,pp. : 993-1031

Cambridge University Press

Access to resources Recommend Favorite

Information Flow in the Brain: Ordered Sequences of Metastable States

By Fingelkurts Andrew A. Fingelkurts Alexander A.

Information, Vol. 8, Iss. 1, 2017-02 ,pp. : 22-22

MDPI

Access to resources Recommend Favorite

Revision of the Kosiński’s Theory of Ordered Fuzzy Numbers

By Piasecki Krzysztof

Axioms, Vol. 7, Iss. 1, 2018-03 ,pp. : 16-16

MDPI

Access to resources Recommend Favorite