Nothing Special   »   [go: up one dir, main page]

Academia.eduAcademia.edu
paper cover icon
doi:10.1017/S0960129505004822 Printed in the United Kingdom Modelling general recursion in type theory

doi:10.1017/S0960129505004822 Printed in the United Kingdom Modelling general recursion in type theory

2003
Ana Bove

Ana Bove hasn't uploaded this paper.

Let Ana know you want this paper to be uploaded.

Ask for this paper to be uploaded.