1
|
2
|
3
|
4
|
5
|
6
|
7
|
8
|
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
R
Category: R
BOXES
www.r6.ca
Title:
Russell O’connor
Description:
NONE
On this page:
Russell O’connor I Am A Ph.d. Student In The Foundations Group At The Radboud University Nijmegen. I Have My Bachelor’s Of Mathematics In Pure Mathematics And Computer Science From The University Of Waterloo. Past Projects Here You Will Find A Collections Of Projects I Have Done, Some For Course Work, And Others In My Spare Time. My Haskell Exact Real Arithmetic Library: Few Digits. Slides From The Small Types Workshop. A Proof Of Gödel’s First Incompleteness Theorem Using The Coq Proof Assistant (tphols2005 Slides). James R Meyer Claims That There Is An Error In Gödel Theorem. I Refute His Claim In My Review Of His Paper. A Short Essay On Why Formals Proofs Are Acceptable For Assignments. For A Detailed Presentation Related To This Topic, Try Proof Assistants Using Dependent Type Systems By Herman Geuvers And H. Barendregt. Mmaudio Pak For Os/2. A Port Of Gnupg To Os/2. My Rexx Egd For Os/2. A Document Describing Sgml Features I Use When Writing Html. My Port Of Togl To Os/2. A Draft For A Css Property Set. My Ps2java Dsssl Style Sheet Package. My Position Paper About Creating An Html Architecture. My Checkhtmlesis Java Program. Undergraduate Cours...
Size: 5252 bytes.
IP: 72.2.4.176
Go to site:
Last 10 added sites
westerntechnical.com
pricelessethiopia.net.e
t
cottagemania.ca
massagesource.ca
landogallery.com
timelessethiopia.ru
fatburners.ca
naturalhealthcare.ca
oisellerie-lgl.com
whitmanmfg.ca
Recommended
Website Directory Nooxe.info
