Concepedia
Statistics
Publications
1
Citations
10
H-Index
Active since
1996
Emilie Sayag is an author specializing in typed lambda calculus, type classification, and syntactic analysis.
Publications per year
1996–1996
A New Presentation of the Intersection Type Discipline through Principal Typings of Normal Forms
Emilie Sayag, Michel Mauny · OpenGrey (Institut de l'Information Scientifique et Technique) · 1996 · 10 citations · Full text
Computing, Computer Science, Formal Methods +14
1–1 of 1