A plea for weaker frameworks

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Popular

1020 Downloads (Pure)

Access to Document

@inbook{986de97426cc4b3793ea275d63694976,

title = "A plea for weaker frameworks",

author = "\{Bruijn, de\}, N.G.",

year = "1991",

language = "English",

isbn = "0-521-41300-1",

pages = "40--67",

editor = "G{\'e}rard Huet and G. Plotkin",

booktitle = "Logical frameworks",

publisher = "Cambridge University Press",

address = "United Kingdom",

}