Communities

The Great Outdoors

Photography & Video

Scientific Speculation

Electrical Engineering

Languages & Linguistics

Software Development

Community Proposals

tag:snake search within a tag

answers:0 unanswered questions

user:xxxx search by author id

score:0.5 posts with 0.5+ score

"snake oil" exact phrase

votes:4 posts with 4+ votes

created:<1w created < 1 week ago

post_type:xxxx type of post

Notifications

Mark all as read See all your notifications »

Profile Activity Vote Summary All Communities

Vote summary for user205‭

A daily summary of votes received for posts.

Jun 19, 2024: +1

+1

−0

Prop

in Set

Question Q&A

Apr 22, 2024: +1

+1

−0

Obtaining the semantics of simple type theory as a particular case of the set-theoretic semantics of dependent type theory

Question Q&A

Apr 4, 2023: +2

+2

−0

Considering the "type"

Π x : A . Π y : B (x) . T y p e

Question Q&A

Mar 31, 2023: +1

+1

−0

Defining the two universes from Calculus of Constructions in LF

Question Q&A

Mar 28, 2023: +2

+1

−0

On Tarski-style universes in type theory

Question Q&A

+1

−0

The purpose of logical frameworks in specifying type theories

Question Q&A

Mar 27, 2023: +1

+1

−0

On Tarski-style universes in type theory

Question Q&A

Mar 26, 2023: +1

+1

−0

The purpose of logical frameworks in specifying type theories

Question Q&A