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