Statistical properties of simple types

  title={Statistical properties of simple types},
  author={Malgorzata Moczurad and Jerzy Tyszkiewicz and Marek Zaionc},
  journal={Mathematical Structures in Computer Science},
We consider types and typed lambda calculus over a nite number of ground types We are going to investigate the size of the fraction of inhabited types of the given length n against the number of all types of length n The plan of this paper is to nd the limit of that fraction when n The answer to this question is equivalent to nding the density of inhabited types in the set of all types or the so called asymptotic probability of nding an inhabited type in the set of all types Under the Curry… CONTINUE READING
35 Citations
6 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 35 extracted citations


Publications referenced by this paper.
Showing 1-6 of 6 references

The lambda calculus. Its syntax and semantics. Re- vised edition

  • H. P. Barendregt
  • Studies in Logic and the Foundations of…
  • 1984
Highly Influential
10 Excerpts

Generatingfunctionology. Second edition

  • H. S. Wilf
  • 1994
2 Excerpts

The Clausual Theory of Types

  • D. A. Wolfram
  • Cambridge Tracts in Theoretical Computer Science
  • 1993
1 Excerpt

Orthogonal polynomials. Fourth edition

  • G. Szego
  • AMS, Colloquium Publications,
  • 1975
1 Excerpt

Advanced combinatorics. The art of nite and in nite ex- pansions

  • L. Comtet
  • Revised and enlarged edition. Reidel, Dordrecht,
  • 1974
1 Excerpt

Similar Papers

Loading similar papers…