7.8
"Introducing Sequent Calculus in Compiler Language for Tech Enthusiasts: A New Approach to λμμ-Calculus"
arxiv.org
#
©
News Score
score the news, sort the news, rewrite the headlines
Leaderboard
Submit
About