A partial analysis of Modified Realizability

Research output: Contribution to conference › Paper › Other research output

Original language	Undefined/Unknown
Publication status	Published - 8 Apr 2002
Event	Unknown event - Duration: 1 Jan 1950 → 14 Aug 2013

Conference	Unknown event
Period	1/01/50 → 14/08/13

Keywords

@conference{3f666991d6da4618b148b790dd7e8cfc,

title = "A partial analysis of Modified Realizability",

keywords = "Other mathematical specialities, Wiskunde en computerwetenschappen, Wiskunde: algemeen",

author = "\{van Oosten\}, J.",

year = "2002",

month = apr,

day = "8",

language = "Undefined/Unknown",

note = "Unknown event ; Conference date: 01-01-1950 Through 14-08-2013",

}