Integration in real PCF

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 382-393

  Edalat, Abbas ^a   Escardo, Martin Hotzel ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; FORMAL LANGUAGES; FORMAL LOGIC; INTEGRATION; RECURSIVE FUNCTIONS;

COMPUTER PROGRAMMING LANGUAGE REAL PCF; FULLY ABSTRACT; REAL NUMBERS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0029714149     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)