Integration in real PCF

被引：9

作者：

Edalat, A ^{[1
]}

Escardo, MH ^{[1
]}

机构：

[1] UNIV LONDON IMPERIAL COLL SCI TECHNOL & MED,DEPT COMP,LONDON SW7 2BZ,ENGLAND

来源：

11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 1996年

关键词：

D O I：

10.1109/LICS.1996.561453

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：382 / 393

页数：12

共 50 条

[31] Towards Real-Time Integration
Guimaraes, Mario Luis
Rito-Silva, Antonio
2010 ICSE WORKSHOP ON COOPERATIVE AND HUMAN ASPECTS OF SOFTWARE ENGINEERING (CHASE 2010), 2010, : 56 - 63
[32] Financial integration and real activity.
Crucini, MJ
JOURNAL OF ECONOMIC LITERATURE, 1999, 37 (02) : 678 - 679
[33] THE INTEGRATION OF GERMANY - REAL ECONOMIC ADJUSTMENT
SIEBERT, H
EUROPEAN ECONOMIC REVIEW, 1991, 35 (2-3) : 591 - 602
[34] Tangible interface: Integration of the real and virtual
Wang, QP
Li, C
Huang, XY
Tang, MX
PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON CSCW IN DESIGN, 2002, : 408 - 412
[35] Full abstraction for PCF
Abramsky, S
Jagadeesan, R
Malacaria, P
INFORMATION AND COMPUTATION, 2000, 163 (02) : 409 - 470
[36] Unary PCF is decidable
Loader, R
THEORETICAL COMPUTER SCIENCE, 1998, 206 (1-2) : 317 - 329
[37] Unary PCF is decidable
Paradigm Technology, 79 Boulcott St., Wellington, New Zealand
Theor Comput Sci, 1-2 (317-329):
[38] Automatic Differentiation in PCF
Mazza, Damiano
Pagani, Michele
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (POPL):
[39] PCF black lists
Marie, Jean-Jacques
QUINZAINE LITTERAIRE, 2008, (980): : 23 - 24
[40] Applications of PCF theory
Shelah, S
JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (04) : 1624 - 1674