BIThub
An Infinitary Lambda Calculus with Global Trace Condition (Extended Abstract)
Feeds
arXiv
rss
system
(system)
June 23, 2026, 4:00am
1
This is a companion discussion topic for the original entry at
https://arxiv.org/abs/2606.23573