A sequent calculus for limit computable mathematics (technical report)
By: Stefano Berardi, Yamagata Yoriyuki.
Contributors: Yamagata, Yoriyuko.; Sangyō Gijutsu Sōgō Kenkyūjo. Shisutemu Kenshō Kenkyū Sentā
Series: Sanpu kagaku kenkyū sokuhō = Programming science technical report -- AIST-PS-2006-008
Publisher: Sangyō Gijutsu Sōgō Kenkyūjo Shisutemu Kenshō Kenkyū Sentā.
Published: 2006
Place of publication: [Toyonaka-shi]
Language: eng
Number of pages: 26