Continuation models are universal for λμ-calculus

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1997, Pages 387-395

  Hofmann, Martin ^a   Streicher, Thomas ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; FUNCTIONS; MATHEMATICAL MODELS;

CARTESIAN CLOSED CATEGORY;

COMPUTATIONAL LINGUISTICS;

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

References (10)