3 ms·

Thanks! I took a look at the Wiki page https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_corr

Thanks! I took a look at the Wiki page https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon... but didn't see any Deltas there.

mafribe 10y ago
Logical and typing judgements can be presented in many different ways, triples like ∆⊢e:A being one of them.
s_ngularity 10y ago
A great overview of this stuff is http://homepages.inf.ed.ac.uk/wadler/papers/frege/frege.pdf http://homepages.inf.ed.ac.uk/wadler/papers/frege/frege.pdf
- jraedisch 10y ago
  And this one actually has Deltas in it. Thanks!
greydius 10y ago
It's common to use Γ (gamma) as well.