Vol-2306⫷ Vol-2307 ⫸Vol-2308
urn:nbn:de:0074-2307-0


Vol-2307/WiP1⫷Vol-2307/WiP2⫸Vol-2307/WiP3
Alberto FioriClaudio Sacerdoti Coen

Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper)