my forest
deployed, slightly more dt
+8
-7
+1
-1
forest.toml
+1
-1
forest.toml
···
3
3
trees = ["trees"] # The directories in which your trees are stored
4
4
assets = ["assets"] # The directories in which your assets are stored
5
5
theme = "theme" # The directory in which your theme is stored
6
-
url = "https://liamoc.net/"
6
+
url = "https://liamoc.net/forest/"
7
7
[renderer]
8
8
home = "index"
9
9
+1
-1
trees/dt-0002.tree
+1
-1
trees/dt-0002.tree
···
1
1
\import{dt-macros}
2
2
\author{liamoc}
3
3
\taxon{Remark}
4
-
\p{The choices semantic domain and valuation function is, essentially, arbitrary: we choose objects that reflect those aspects of our programs that we are interested in. For most of the simple languages we will examine, we are only concerned with the \em{results} of the computation, which is a semantics suitable for reasoning about program behaviour and correctness. However, there also exist denotational \em{cost models} that compositionally assign a measure of program performance to syntax. This measure is just another kind of [denotational semantics](dt-0001).}
4
+
\p{The choices of semantic domain and valuation function are, essentially, arbitrary: we choose objects that reflect those aspects of our programs that we are interested in. For most of the simple languages we will examine, we are only concerned with the \em{results} of the computation, which is a semantics suitable for reasoning about program behaviour and correctness. However, there also exist denotational \em{cost models} that compositionally assign a measure of program performance to syntax. This measure is just another kind of [denotational semantics](dt-0001).}
+1
-5
trees/dt-001Y.tree
+1
-5
trees/dt-001Y.tree
···
3
3
\author{liamoc}
4
4
\p{These lecture notes are based on the material I used to teach the [[typesig-dt]] course at the [[uoe]] in 2024.}
5
5
\transclude{dt-0005}
6
-
\subtree{
7
-
\taxon{Lecture}
8
-
\title{Constructions on cpos and PCF}
9
-
\p{todo}
10
-
}
6
+
\transclude{dt-001Z}
11
7
\subtree{
12
8
\taxon{Lecture}
13
9
\title{Scott Domains}