Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Subject
Issue Date
Material Type
Language
Access Rights
Help
OAR@UM Help
FAQs
OAR@UM Policies
Submission Forms
Sign on to:
My OAR@UM
OAR@UM
Browsing by Subject Calculus
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 5 of 5
Issue Date
Title
Author(s)
2021
Creation, beginning and time in the Summa Theologiae : Why creation does not imply the beginning of the universe?
Bianco, Lino
2011
Implementing proof systems for the intuitionistic propositional logic
Zammit, Veronica (2011)
2022
Optimal control theory with applications in portfolio and consumption optimization
Grima, Francesco (2022)
2013
A type system for Erlang
Vella, Annalizz (2013)
2011
A π-calculus to Erlang compiler
Debono, Michael (2011)