Browsing by Subject extensible church encodings

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 中
Showing results 1 to 2 of 2
TitleAuthor(s)Issue Date
 
Meta-theory à la carte
Proceeding/Conference:Conference Record of the Annual ACM Symposium on Principles of Programming Languages
Delaware, BOliveira, BCDSSchrijvers, T
2013
 
Meta-theory à la Carte
Proceeding/Conference:ACM SIGPLAN Notices
Delaware, BOliveira, BCDSSchrijvers, T
2013
Showing results 1 to 2 of 2