Jump to navigation
By thinking constantly about it…
G
Search form
Search
Research
Education
Innovation
Home
About Simula
Publications
People
Careers
Contact
Primary tabs
View
(active tab)
VCard
Olav Lysne
Professor
Director at Simula Metropolitan
Organisation:
Administration and Management
Email:
olavly@simula.no
Most recent publications
O. Lysne
The Equational Part of Proofs by Structural Induction
BIT
33 (1993): 596-618,.
Journal Article
1993
View
News
29 October 2019
Minister of Digitalisation Nikolai Astrup visited Simula
prev
3 of 16
next
Find publication
Status
Published
Publication type
Journal articles
Proceedings, refereed
(3)
Technical reports
(3)
Talks, contributed
(1)
Year published
2018
1998
(2)
1997
(1)
1996
1994
(2)
1993
