Linear logic, monads and the lambda calculus

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 420-431

  Benton, Nick ^a   Wadler, Philip ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DIFFERENTIATION (CALCULUS); FORMAL LANGUAGES; MATHEMATICAL MODELS;

CALL BY NAME LAMBDA CALCULUS; CALL BY VALUE LAMBDA CALCULUS; GIRARD'S LINEAR LOGIC; INTUITIONISTIC LINEAR LOGIC; MOGGI'S COMPUTATIONAL METALANGUAGE;

FORMAL LOGIC;

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

References (18)