Jason (jcreed) wrote, 2007-03-05 12:40:00 Jason jcreed 2007-03-05 12:40:00 Previous Share Flag Next An interesting paper: "Fixed Points of Type Constructors and Primitive Recursion" by Andreas Abel and Ralph Matthes. Tags: work Subscribe Post a new comment Error Anonymous comments are disabled in this journal We will log you in after post We will log you in after post We will log you in after post We will log you in after post We will log you in after post Anonymously switch LiveJournal Facebook Twitter OpenId Google MailRu VKontakte Anonymously default userpic Your reply will be screened Your IP address will be recorded Post a new comment Preview comment Help 0 comments Post a new comment 0 comments
An interesting paper: "Fixed Points of Type Constructors and Primitive Recursion" by Andreas Abel and Ralph Matthes.
