319 followers
@TaliaRinger I recalled this tweet today when I ran into https://t.co/dgep9BtXus and https://t.co/9Y5ZVvtuX5 ; @TaliaRinger have you seen these?
@TaliaRinger I recalled this tweet today when I ran into https://t.co/dgep9BtXus and https://t.co/9Y5ZVvtuX5 ; @TaliaRinger have you seen these?
RT @sinya8282: Categorical completeness results for the simply-typed lambda-calculus https://t.co/3KxeKZ4wqS
Categorical completeness results for the simply-typed lambda-calculus https://t.co/3KxeKZ4wqS
@ertesx @pigworker @jonsterling HOAS in coq: http://t.co/OgTLJGbYAO