Computer Science
al pal's user avatar
al pal's user avatar
al pal's user avatar
al pal
  • Member for 4 years, 6 months
  • Last seen more than 1 year ago
Profile Activity
Stats
621
reputation
4k
reached
2
answers
24
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
6
bronze badges
Top tags
View all tags
0
Score
15
Posts
58
Posts %
0
Score
9
Posts
35
Posts %
0
Score
6
Posts
23
Posts %
0
Score
6
Posts
23
Posts %
0
Score
4
Posts
15
Posts %
0
Score
4
Posts
15
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
8
What does canonicity property mean in Type Theory?
Aug 19, 2019
question
5
Definitional equality of two propositions about propositional equality
Aug 6, 2019
question
4
Definition of extensional and propositional equality in Martin-Lof extensional type theory
Aug 7, 2019
question
4
Why values can not be replaced with their extensionally equal values in an intensional system?
Aug 10, 2019
question
4
Is sum type a disjoint or more of a multiplexer?
Dec 8, 2021
question
3
Difference between computation in proposition proof and definitional computation?
Aug 12, 2019
question
3
Mapping a free variable of type A to a cartesian closed category
Oct 9, 2019
question
3
Derivation of product type eliminator in type theory
Dec 16, 2019
question
2
Relationship between dependent sum type and dependent product type?
May 16, 2019
question
2
How is functional property guaranteed in type theory when function type is defined?
Jun 11, 2019
Top network posts
View all network posts
19
What is the role of feed forward layer in Transformer Neural Network architecture?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.