Relative Definability and Models of Unary PCF

@inproceedings{Bucciarelli2003RelativeDA,
  title={Relative Definability and Models of Unary PCF},
  author={Antonio Bucciarelli and Benjamin Leperchey and Vincent Padovani},
  booktitle={TLCA},
  year={2003}
}
BETA

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…