Operational aspects of linear lambda calculus

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1992, Pages 235-246

  Lincoln, Patrick ^a   Mitchell, John ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC;

LAMBDA CALCULUS; LINEAR LOGIC;

COMPUTER PROGRAMMING LANGUAGES;

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

References (20)