Programming metalogics with a fixpoint type

@inproceedings{Crole1991ProgrammingMW,
  title={Programming metalogics with a fixpoint type},
  author={Roy L. Crole},
  year={1991}
}
This University of Cambridge Computer Laboratory Technical Report is a revised version of my Ph.D. thesis. The report is essentially the same as my original thesis which was completed in July 1991, with corrections and alterations as suggested by my Ph.D. examiners, Dr. J.M.E. Hyland, Department of Pure Mathematics and Mathematical Statistics, Cambridge, England and Prof. E. Moggi, Dip. di Matematica, Univ. di Genova, Italy. I have also made some modi cations which I personally think improves… CONTINUE READING

Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-4 OF 4 REFERENCES

Topos Theory

  • P. T. Johnstone
  • Academic Press
  • 1977
1 Excerpt

Similar Papers

Loading similar papers…