Where can I learn to understand that notation, it would help me to know what it is called. It is lambda calculus
Hi! Which notation do you mean, exactly?
Γ::=∅∣Γ,x:τ\Gamma ::= \varnothing \mid \Gamma, x : \tau Γ::=∅∣Γ,x:τ 👆this notation, thanks for answering
This is incorrectly rendered LaTeX from our website. You can see the original equation here: serokell.io/blog/dependency-analys...
I'm not the author, but AFAIK, it is not connected with lambda calculus, it's math notation from type theory. If you really would like to learn more about type theory, probably something like this would be a good start.
Thank You 👍
Are you sure you want to hide this comment? It will become hidden in your post, but will still be visible via the comment's permalink.
Hide child comments as well
Confirm
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
Where can I learn to understand that notation, it would help me to know what it is called. It is lambda calculus
Hi! Which notation do you mean, exactly?
Γ::=∅∣Γ,x:τ\Gamma ::= \varnothing \mid \Gamma, x : \tau
Γ::=∅∣Γ,x:τ
👆this notation, thanks for answering
This is incorrectly rendered LaTeX from our website. You can see the original equation here: serokell.io/blog/dependency-analys...
I'm not the author, but AFAIK, it is not connected with lambda calculus, it's math notation from type theory. If you really would like to learn more about type theory, probably something like this would be a good start.
Thank You 👍
Thank You 👍