corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0874c-c1f8-7345-b89d-9a0feda4cdd5

Logical Frameworks

blog.karetnikov.org · published undated

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.karetnikov.org Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
34
Words captured
1,452

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://chrisamaphone.github.io/lf-class
chrisamaphone.github.io
https://www.convivial.tools
convivial.tools
http://twelf.org
twelf.org
https://homepages.inf.ed.ac.uk/gdp/publications/Framework_Def_Log.pdf
homepages.inf.ed.ac.uk
https://hci.social/@chrisamaphone/111700018989133987
hci.social
https://github.com/agda/agda/
github.com
https://github.com/coq/ceps/blob/coq-roadmap/text/069-coq-roadmap.md
github.com
https://okmij.org/ftp/formalizations/
okmij.org
https://www.cis.upenn.edu/~bcpierce/tapl/
cis.upenn.edu
https://chrisamaphone.github.io/lf-class/syllabus.html
chrisamaphone.github.io
https://chrisamaphone.github.io/lf-class/
chrisamaphone.github.io
https://github.com/chrisamaphone/lf-class/tree/main/code
github.com
https://social.wub.site/@simrob
social.wub.site
https://github.com/robsimmons/twelflive/blob/main/Dockerfile
github.com
https://github.com/robsimmons/twelflive
github.com
https://jcreedcmu.github.io
jcreedcmu.github.io
https://github.com/jcreedcmu/twelf-lsp
github.com
https://github.com/jcreedcmu/twelf-wasm
github.com
https://jcreedcmu.github.io/twelf-wasm
jcreedcmu.github.io
http://twelf.org/wiki/%25solve
twelf.org
http://twelf.org/wiki/%25total
twelf.org
http://twelf.org/wiki/%25mode
twelf.org
http://twelf.org/wiki/%25block
twelf.org
http://twelf.org/wiki/%25worlds
twelf.org
http://twelf.org/wiki/%25freeze
twelf.org
https://julianpeeters.com/
julianpeeters.com
https://github.com/julianpeeters/dc10-scalaq-twelf
github.com
https://gist.github.com/julianpeeters/7a859da6e2634dbee6ea9134d8d23464
gist.github.com
https://hachyderm.io/@whatif
hachyderm.io
https://docs.google.com/presentation/d/1zSwjL0Swuxz3y-K4TQlh-IecqUzuK88kMmPIKbbIbsM
docs.google.com
https://flippac.org
flippac.org
https://msfp-workshop.github.io/msfp2020/slides/cowderoy.pdf
msfp-workshop.github.io
https://msfp-workshop.github.io/msfp2020/cowderoy.pdf
msfp-workshop.github.io
https://legacy.cs.indiana.edu/~sabry/papers/information-effects.pdf
legacy.cs.indiana.edu