Paper Info
Title
How to Define Functionals of Free Structures in Typed Lambda Calculus
Abstract
Without Abstract
Year
DOI
Venue
1989
10.1007/3-540-51486-4_102
MFCS
Keywords
Field
DocType
typed lambda calculus,define functionals,free structures
Discrete mathematics,Algebra,Typed lambda calculus,Simply typed lambda calculus,Computer science,Lambda cube,System F,Fixed-point combinator,Church encoding,Calculus of constructions,Pure type system
Conference
ISBN
Citations 
PageRank 
3-540-51486-4
0
0.34
References 
Authors
1
1
Name
Order
Citations
PageRank
Marek Zaionc111117.27