Research group:
Software Technology
Office location:
Hightechnology building (room 4141)
Residence:
5179 Godvik

Postal Address:
Universitetet i Bergen
Institutt for Informatikk
Postboks 7800
N-5020 BERGEN
Norway
Telephone:
+47 55584177
Fax:
+47 55584199
E-mail:
bezem at ii.uib.no

Publication List .pdf .tex, hard copies of papers can be sent upon request

Newman's Lemma stuff

Geometric/Coherent Logic

pplex-applet