"Call-by-name Calculus of Records and its Basic Properties" by Elena Machkasova and Emily Christiansen
 

Document Type

Article

Publication Date

2006

Primo Type

Text Resource

Share

COinS