1. Ambrus Kaposi Avatar Ambrus Kaposi
  2. Untitled project
  3. tt-in-tt
  4. Issues

PER vs. traditional

Issue #10 new
Former user created an issue

Formalise the raw syntax of type theory and the following two versions of typing relations:

  • traditional way
  • PER

Show that the two definitions are equivalent.

Comments (0)

  1. Log in to comment
Assignee
–
Type
proposal
Priority
major
Status
new
Votes
0
Watchers
None
Jira: the preferred issue tracker for Bitbucket. Join the team!