Interpreting higher computations as types with totality
From MaRDI portal
Publication:1337495
DOI10.1007/BF01270624zbMath0830.03019MaRDI QIDQ1337495
Publication date: 6 November 1994
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
03F35: Second- and higher-order arithmetic and fragments
03D65: Higher-type and set recursion theory
Related Items
Cites Work