single-subst

Public

• NotificationsYou must be signed in to change notification settings
• Fork0 (0)
• Star1 (1)You must be signed in to star a repository

About

No description, website, or topics provided.

Resources

Readme

Activity

Stars

1 star

Watchers

2 watching

Forks

0 forks

Report repository

main

BranchesTags

Go to file

Code

Open more actions menu

Latest commit

 

History

135 Commits

135 Commits

Folders and files

Name		Name	Last commit message	Last commit date
STT		STT
TT		TT
fscd		fscd
lfmtp		lfmtp
types_2024		types_2024
.gitignore		.gitignore
readme.md		readme.md
View all files

Repository files navigation

Contents of this repository

• LFMTP submission titled "Type theory with single substitutions" by Ambrus Kaposi and Szumi Xie.
• source of TYPES abstract titled "Type theory in type theory using single substitutions" by Ambrus Kaposi and Szumi Xie.
• HTML version of the Agda formalisation:
  • Type theory
  • Simple type theory

About

No description, website, or topics provided.

Resources

Readme

Activity

Stars

1 star

Watchers

2 watching

Forks

0 forks

Report repository

Releases

Packages

Contributors

Languages