Thumbnail
Access Restriction
Open

Author Carraro, Alberto ♦ Salibra, Antonino
Source CiteSeerX
Content type Text
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Reflexive Domain ♦ Extensional Calculus ♦ Extensional Lambda Calculus
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Institution PROC. OF LICS’09, IEEE COMPUTER SOCIETY PUBLICATIONS