×
  • Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
 

Propositional Equality and Identity Types

by Professor Associado at Universidade Federal de Pernambuco on Aug 19, 2013

  • 3,494 views

Seminar given at the Logic Group, Technische Universität Darmstadt, 19 August 2013

Seminar given at the Logic Group, Technische Universität Darmstadt, 19 August 2013

Statistics

Views

Total Views
3,494
Views on SlideShare
3,494
Embed Views
0

Actions

Likes
1
Downloads
6
Comments
0

0 Embeds 0

No embeds

Accessibility

Categories

Upload Details

Uploaded via SlideShare as Adobe PDF

Usage Rights

CC Attribution License

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
Post Comment
Edit your comment

Propositional Equality and Identity Types Propositional Equality and Identity Types Presentation Transcript