Mathematical Structures in Computer Science,volume 27,issue 6  (09-2017)

Period of time： 2017年6期

Publisher： Cambridge University Press

Founded in： 1991

Total resources： 88

E-ISSN： 1469-8072|27|6

ISSN： 0960-1295

Subject： TP3 Computers

Favorite

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

Mathematical Structures in Computer Science,volume 27,issue 6

Menu

The conservation theorem for differential nets

Mathematical Structures in Computer Science,volume 27,issue 6 , Vol. 27, Iss. 6, 2017-09 , pp. 939-992

Cambridge University Press

Abstract Access to resources Recommend Favorite

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

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

Cambridge University Press

Abstract Access to resources Recommend Favorite

Isomorphism theorems between models of mixed choice

Mathematical Structures in Computer Science,volume 27,issue 6 , Vol. 27, Iss. 6, 2017-09 , pp. 1032-1067

Cambridge University Press

Abstract Access to resources Recommend Favorite

Classical realizability and arithmetical formulæ

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

Cambridge University Press

Abstract Access to resources Recommend Favorite

Total 4 item(s)