The undecidability of λ-definability. Church Memorial volume (0)

by R Loader
Results 1 - 1 of 1

Pre-logical Relations

by Furio Honsell, Donald Sannella , 1999
"... this paper but which have some intriguing connections to some of our results and techniques, are [32] and [20]. We believe that the concept of prelogical relation would have a beneficial impact on the presentation and understanding of their results ..."
Abstract - Cited by 26 (5 self) - Add to MetaCart
this paper but which have some intriguing connections to some of our results and techniques, are [32] and [20]. We believe that the concept of prelogical relation would have a beneficial impact on the presentation and understanding of their results