Conversation

where does the F in system F comes from

2

6

> According to Girard, the "F" in System F was picked by chance.[1] oh, nowhere

6

15

Brendan Zabarauskas

Replying to

So just like lambda I guess. 😅

9:53 PM · Sep 7, 2021Twitter Web App