Organization and Development of a Constructive Axiomatization

@inproceedings{Plato1995OrganizationAD,
  title={Organization and Development of a Constructive Axiomatization},
  author={Jan von Plato},
  booktitle={TYPES},
  year={1995}
}

From This Paper

Topics from this paper.
2 Citations
0 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

Similar Papers

Loading similar papers…