Strong Elimination Rules in Type Theory

Roy Dyckhoff; P Dybjer; B Nordstrom; K Petersson; JM Smith

Strong Elimination Rules in Type Theory

Roy Dyckhoff
, P Dybjer
, B Nordstrom
, K Petersson
, JM Smith

School of Computer Science

Research output: Contribution to conference › Paper

Original language	English
Pages	112-115
Publication status	Published - 1987

Handle.net

Persistent link

Cite this

@conference{aa3956241bf541559adf1076df3efecb,

title = "Strong Elimination Rules in Type Theory",

author = "Roy Dyckhoff and P Dybjer and B Nordstrom and K Petersson and JM Smith",

note = "Proc Workshop on Programming Logic, Marstrand Programming Methodology Group Report, University of G{\"o}teborg/Chalmers University of Technology",

year = "1987",

language = "English",

pages = "112--115",

}