-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy paththesis.html
81 lines (81 loc) · 3.82 KB
/
thesis.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
<!DOCTYPE html>
<html>
<head>
<title>Mathieu MONTIN's PhD thesis page</title>
<link rel="icon" type="image/png" href="img/n7logo.png" />
<meta name="author" content="monsieuro" >
<meta name="date" content="2018-03-16T18:38:55+0100" >
<meta name="copyright" content="Copyright 2017 INP Toulouse">
<meta name="keywords" content="enseeiht, irit, inpt, informatique, recherche">
<meta name="description" content="Mathieu MONTIN Home Page">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" href="style.css" type="text/css" media="screen" title="no title">
</head>
<body>
<div class="flex-mycontainer">
<a href="http://www.enseeiht.fr/"><img src="img/logo-enseeiht.png" alt="ENSEEIHT"></a>
<a href="http://www.irit.fr/"><img src="img/IRITCNRS.gif" alt="IRIT"></a>
</div>
<div class="mycontainer">
<h2>A formal framework for heterogeneous systems semantics</h2>
<ul>
<li><strong>Didactic code</strong>
<ul>
<li><a class="html" href="./agdacode/html/Unicode.html">Unicode.agda</a></li>
<li><a class="html" href="./agdacode/html/Mixfix.html">Mixfix.agda</a></li>
<li><a class="html" href="./agdacode/html/Addition.html">Addition.agda</a></li>
<li><a class="html" href="./agdacode/html/ListSize.html">ListSize.agda</a></li>
<li><a class="html" href="./agdacode/html/IfThenElse.html">IfThenElse.agda</a></li>
<li><a class="html" href="./agdacode/html/ListSugar.html">ListSugar.agda</a></li>
<li><a class="html" href="./agdacode/html/Unif.html">Unif.agda</a></li>
<li><a class="html" href="./agdacode/html/Associativity.html">Associativity.agda</a></li>
<li><a class="html" href="./agdacode/html/Irrelevance.html">Irrelevance.agda</a></li>
<li><a class="html" href="./agdacode/html/Commut.html">Commut.agda</a></li>
<li><a class="html" href="./agdacode/html/Currying.html">Currying.agda</a></li>
<li><a class="html" href="./agdacode/html/Tutorial.html">Tutorial.lagda</a></li>
<li><a class="html" href="./agdacode/html/Unary.html">Unary.lagda</a></li>
</ul>
</li>
<li><strong>Helpers</strong>
<ul>
<li><a class="html" href="./agdacode/html/Helper.html">Helper.lagda</a></li>
</ul>
</li>
<li><strong>Globally unique lists</strong>
<ul>
<li><a class="html" href="./agdacode/html/ListConform.html">ListConform.lagda</a></li>
<li><a class="html" href="./agdacode/html/ListAssoc.html">ListAssoc.lagda</a></li>
<li><a class="html" href="./agdacode/html/ListUnique.html">ListUnique.lagda</a></li>
</ul>
</li>
<li><strong>Event-based systems</strong>
<ul>
<li><a class="html" href="./agdacode/html/SimplePDL.html">SimplePDL.lagda</a></li>
<li><a class="html" href="./agdacode/html/Petrinet.html">Petrinet.lagda</a></li>
</ul>
</li>
<li><strong>Time</strong>
<ul>
<li><a class="html" href="./agdacode/html/Instant.html">Instant.lagda</a></li>
<li><a class="html" href="./agdacode/html/Interval.html">Interval.lagda</a></li>
</ul>
</li>
<li><strong>CCSL</strong>
<ul>
<li><a class="html" href="./agdacode/html/CCSL.html">CCSL.lagda</a></li>
<li><a class="html" href="./agdacode/html/CCSLIntegers.html">CCSLIntegers.lagda</a></li>
<li><a class="html" href="./agdacode/html/CCSLNaturals.html">CCSLNaturals.lagda</a></li>
</ul>
</li>
<li><strong>Refinement</strong>
<ul>
<li><a class="html" href="./agdacode/html/Refinement.html">Refinement.lagda</a></li>
<li><a class="html" href="./agdacode/html/RefinementExample.html">RefinementExample.lagda</a></li>
<li><a class="html" href="./agdacode/html/CCSLRefinement.html">CCSLRefinement.lagda</a></li>
</ul>
</li>
</ul>
</div>
</body>
</html>