Discuss Retroactive Semantic Computation and Closed-Text Interpretation: Toward a Verifiable Proof-Assistant Model of Interpretation
Share what worked, ask a question, or add context for other readers.
Sign in to join the discussion
Recent messages
No messages here yet.