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 Users
Digests
Helmut Brandl
http://softwareverificaton.wordpress.com/
top
accounts
reputation
activity
bookmarks
subscriptions
Top Questions
10
votes
Understanding the Proof of Strong Normalization of the Calculus of Constructions
lo.logic
type-theory
lambda-calculus
typed-lambda-calculus
asked Nov 4, 2018 at 22:12
cstheory.stackexchange.com
9
votes
Constructive Strong Normalization of the Extended Calculus of Constructions
lo.logic
type-theory
dependent-type
typed-lambda-calculus
asked Jun 20, 2021 at 14:07
cstheory.stackexchange.com
6
votes
Strong Normalization of Extended Calculus of Constructions (CC with cumulative universes)
type-theory
dependent-type
asked Dec 8, 2018 at 22:39
cstheory.stackexchange.com
5
votes
Definition of continuous functions in order theory
order-theory
computer-science
asked Oct 14, 2012 at 19:08
mathoverflow.net
Top Answers
7
How to prove that two plus two equals four?
mathoverflow.net
Stack Exchange works best with JavaScript enabled