Order-incompleteness and finite lambda models

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 432-439

  Selinger, Peter ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; DIFFERENTIATION (CALCULUS); MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; MATHEMATICAL PROGRAMMING; THEOREM PROVING;

MAL'CEV OPERATORS; PARTIAL SYNTACTICAL LAMBDA MODELS; SYNTACTICAL CHARACTERIZATION; TYPE FREE LAMBDA CALCULUS;

COMPUTATIONAL LINGUISTICS;

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

References (13)