Name		Name	Last commit message	Last commit date
Latest commit History 35 Commits
.github/workflows		.github/workflows
.machine_readable/6a2		.machine_readable/6a2
docs		docs
document		document
metadata/entries		metadata/entries
tests		tests
.directory		.directory
.editorconfig		.editorconfig
0-AI-MANIFEST.a2ml		0-AI-MANIFEST.a2ml
CONTRIBUTING.md		CONTRIBUTING.md
EXPLAINME.adoc		EXPLAINME.adoc
Justfile		Justfile
LICENSE		LICENSE
PRIORITY.adoc		PRIORITY.adoc
README.adoc		README.adoc
ROOT		ROOT
SECURITY.md		SECURITY.md
TEST-NEEDS.md		TEST-NEEDS.md
TOPOLOGY.md		TOPOLOGY.md
Tropical Resource Typing For Protocols.pdf		Tropical Resource Typing For Protocols.pdf
Tropical.thy		Tropical.thy
TropicalSessionTypes.lean		TropicalSessionTypes.lean
Tropical_CNO.thy		Tropical_CNO.thy
Tropical_Determinants.thy		Tropical_Determinants.thy
Tropical_Kleene.thy		Tropical_Kleene.thy
Tropical_Matrices_Clean.thy		Tropical_Matrices_Clean.thy
Tropical_Matrices_Full.thy		Tropical_Matrices_Full.thy
Tropical_v2.thy		Tropical_v2.thy
deno.json		deno.json
deno.lock		deno.lock

Repository files navigation

tropical-resource-typing

About

A short note introducing a max-plus (tropical) algebraic approach to resource-aware type systems, with applications to worst-case cost analysis and protocol typing.

research type-theory formal-methods max-plus tropical-algebra resource-types

Readme

View license

Contributing

Security policy