1382328
Results 1 to 1 of 1
Selection :
Fix-point equations for well-founded recursion in type theoryBALAA, A; BERTOT, Y.Lecture notes in computer science. 2000, pp 1-16, issn 0302-9743, isbn 3-540-67863-8Conference Paper