Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Rodolphe Lepigre
Iris
Commits
146b1335
Commit
146b1335
authored
Nov 04, 2016
by
Ralf Jung
Browse files
docs: tune title
parent
7527bd61
Changes
1
Hide whitespace changes
Inline
Side-by-side
docs/program-logic.tex
View file @
146b1335
...
...
@@ -5,7 +5,7 @@
This section describes how to build a program logic for an arbitrary language (
\cf
\Sref
{
sec:language
}
) on top of the base logic.
So in the following, we assume that some language
$
\Lang
$
was fixed.
\subsection
{
Dynamic Composeable Resources
}
\subsection
{
Dynamic Composeable
Higher-Order
Resources
}
\label
{
sec:composeable-resources
}
The base logic described in
\Sref
{
sec:base-logic
}
works over an arbitrary CMRA
$
\monoid
$
defining the structure of the resources.
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment