Skip to content

Commit f8cfb1c

Browse files
committed
comma
1 parent ea3e759 commit f8cfb1c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

latex/abstract.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77
programs that are expressed within the language and transform them into their
88
solutions.
99

10-
In our model programs are elements of \emph{programming spaces} and viewed as
10+
In our model, programs are elements of \emph{programming spaces} and viewed as
1111
maps from the \emph{virtual memory space} to itself. Virtual memory space is
1212
also an algebra of programs, \emph{an algebraic data structure} one can
1313
calculate with. We define the \emph{operator of differentiation} ($\D$) on

0 commit comments

Comments
 (0)