Paper Info
Title
The set of unifiers in typed &lgr;-calculus as regular expression
Abstract
Without Abstract
Year
DOI
Venue
1985
10.1007/3-540-15976-2_23
RTA
Keywords
Field
DocType
regular expression,typed lambda calculus
Discrete mathematics,Regular expression,Simply typed lambda calculus,Typed lambda calculus,Computer science,System F,Fixed-point combinator,Dependent type,Flesh
Conference
ISBN
Citations 
PageRank 
0-387-15976-2
4
2.75
References 
Authors
5
1
Name
Order
Citations
PageRank
Marek Zaionc111117.27