The Expressive Power of Higher-order Types or, Life without CONS (2001)

Cached

Download Links

by Neil D. Jones
Citations:24 - 1 self

Documents Related by Co-Citation

179 A New Recursion-Theoretic Characterization Of The Polytime Functions – Stephen Bellantoni, Stephen Cook - 1992
619 Light Linear Logic – Jean-yves Girard
604 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D MacQueen - 1997
70 Linear Types and Non-Size-Increasing Polynomial Time Computation – Martin Hofmann - 1998
2446 The Design and Analysis of Computer Algorithms – A Aho, J Hopcroft, J Ullman - 1974
706 Types and Programming Languages – B C Pierce - 2002
8543 Introduction to Algorithms – T H Cormen, C E Leiserson, R L Rivest - 1990
1118 The Lambda Calculus: its Syntax and Semantics – H P Barendregt - 1984
531 A Computational' Logic – R S Boyer, J S Moore - 1979