Internal languages for autonomous and *-autonomous categories

Electronic Notes in Theoretical Computer Science

Volumn 29, Issue , 1999, Pages 151-

  Koh, Thong Wei ^a   Ong, C H Luke ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONS; GRAPHIC METHODS; LINEAR EQUATIONS; PROBLEM SOLVING; SEMANTICS; TREES (MATHEMATICS);

INTERNAL LANGUAGES; LINEAR FUNCTIONS; MONOIDS; PARIGOT-STYL MULABSTRACTION;

COMPUTER PROGRAMMING LANGUAGES;

EID: 18944368070     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80313-5     Document Type: Conference Paper

References (0)