Skip to main content
Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top 400 Users
Digests
Fred
top
accounts
reputation
activity
subscriptions
Top Questions
5
votes
Expressing "does not imply''
logic
propositional-calculus
logic-translation
metalogic
asked Nov 13, 2020 at 17:04
math.stackexchange.com
5
votes
Explicit substitution in type theory
logic
type-theory
lambda-calculus
asked Dec 16, 2020 at 15:31
math.stackexchange.com
Top Answers
6
Intuitionistic type theory in linguistics
linguistics.stackexchange.com
Stack Exchange works best with JavaScript enabled
math.stackexchange.com
linguistics.stackexchange.com